Struct simics_api_sys::bindings::tagged_physical_address_t

#[repr(C)]
pub struct tagged_physical_address_t {
    pub valid: c_int,
    pub paddr: physical_address_t,
}

The x86 tlb interface is used for communication between an x86 cpu and its TLB. The TLB is implemented as a separate class for greater flexibility. The TLB object does no memory operations itself.

tagged_physical_address_t

All functions in the interface get the object implementing the interface as their first parameter.

flush_all is called when all TLB entries should be flushed. If keep_global_entries is set, then TLB entries with their global bit set should not be flushed.

flush_page is invoked when pages containing laddr are to be removed from the TLB.

lookup is used by the CPU when a memory access misses the STC. It must return true (non-zero) if and only if the memory operation specified by mem_tr hits the TLB and does not raise an exception. The mode, linear_address are valid when the method is invoked. The other fields passed through mem_tr are undefined. If the method returns true, the s.physical_address, pat_type, and mtrr_type fields of mem_tr must be updated by lookup.

An access that misses in lookup but does not raise a fault is inserted into the TLB with add. The page_size encoding is 0 for 4 kb pages, 1 for 2 Mb pages, and 2 for 4 Mb pages.

itlb_lookup is a simplified version of lookup used only for instruction TLB lookups. If the lookup is successful valid and paddr should be set, otherwise valid should be cleared.

set_pae_mode is invoked when the cpu changes the PAE enable bit.

It class implementing the interface must make sure that only addresses mapped in the TLB are present in the STCs.

This interface may be changed or replaced with an architecture independent interface in future versions of Simics.

Cell Context for all methods.

Fields

valid: c_int

paddr: physical_address_t

Trait Implementations

impl Clone for tagged_physical_address_t

fn clone(&self) -> tagged_physical_address_t

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for tagged_physical_address_t

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for tagged_physical_address_t

fn default() -> tagged_physical_address_t

Returns the “default value” for a type.

impl Hash for tagged_physical_address_t

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for tagged_physical_address_t

fn cmp(&self, other: &tagged_physical_address_t) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for tagged_physical_address_t

fn eq(&self, other: &tagged_physical_address_t) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for tagged_physical_address_t

fn partial_cmp(&self, other: &tagged_physical_address_t) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for tagged_physical_address_t

impl Eq for tagged_physical_address_t

impl StructuralPartialEq for tagged_physical_address_t