Struct pte_flags::PteFlagsArch
source · pub struct PteFlagsArch(/* private fields */);
Expand description
Page table entry (PTE) flags on x86_64.
Note: items beginning with an underscore _
are not used in Theseus.
The designation of bits in each PageTableEntry
is as such:
- Bits
[0:8]
(inclusive) are reserved by hardware for access flags. - Bits
[9:11]
(inclusive) are available for custom OS usage. - Bits
[12:51]
(inclusive) are reserved by hardware to hold the physical frame address. - Bits
[52:62]
(inclusive) are available for custom OS usage. - Bit
63
is reserved by hardware for access flags (noexec).
Implementations§
source§impl PteFlagsX86_64
impl PteFlagsX86_64
sourcepub const VALID: Self = _
pub const VALID: Self = _
- If set, this page is currently “present” in memory.
- If not set, this page is not in memory, which could mean one of several things:
- The page is not mapped at all
- The page has been temporarily paged/swapped to disk
- The page is waiting to be mapped, i.e., for demand paging.
sourcepub const WRITABLE: Self = _
pub const WRITABLE: Self = _
- If set, this page is writable.
- If not set, this page is read-only.
sourcepub const _USER_ACCESSIBLE: Self = _
pub const _USER_ACCESSIBLE: Self = _
- If set, userspace (ring 3) can access this page.
- If not set, only kernelspace (ring 0) can access this page.
This is unused in Theseus because it is a single privilege level OS.
sourcepub const WRITE_THROUGH: Self = _
pub const WRITE_THROUGH: Self = _
- If set, writes to this page go directly to memory.
- It not set, writes are first written to the CPU cache, and then written to memory. This is also known as “write-back”.
If the Page Attribute Table (PAT) feature is enabled, this represents the least-significant bit of the 3-bit index into the Page Attribute Table; that index is used to determine the PAT entry that holds the memory caching type that is applied to this page.
pub const PAT_BIT0: Self = _
sourcepub const CACHE_DISABLE: Self = _
pub const CACHE_DISABLE: Self = _
- If set, this page’s content is never cached, neither for read nor writes.
- If not set, this page’s content is cached as normal, both for read nor writes.
If the Page Attribute Table (PAT) feature is enabled, this represents the middle bit of the 3-bit index into the Page Attribute Table; that index is used to determine the PAT entry that holds the memory caching type that is applied to this page.
sourcepub const DEVICE_MEMORY: Self = _
pub const DEVICE_MEMORY: Self = _
An alias for Self::CACHE_DISABLE
in order to ease compatibility with aarch64.
pub const PAT_BIT1: Self = _
sourcepub const ACCESSED: Self = _
pub const ACCESSED: Self = _
- The hardware will set this bit when the page is accessed.
- The OS can then clear this bit once it has acknowledged that the page was accessed, if it cares at all about this information.
sourcepub const DIRTY: Self = _
pub const DIRTY: Self = _
- The hardware will set this bit when the page has been written to.
- The OS can then clear this bit once it has acknowledged that the page was written to, which is primarily useful for paging/swapping to disk.
sourcepub const HUGE_PAGE: Self = _
pub const HUGE_PAGE: Self = _
- If set, this page table entry represents a “huge” page.
This bit may be used as follows:
- For a P4-level PTE, it must be not set.
- If set for a P3-level PTE, it means this PTE maps a 1GiB huge page.
- If set for a P2-level PTE, it means this PTE maps a 1MiB huge page.
- A P1-level PTE cannot map a huge page, so this bit is interpreted
as [
Self::PAT_FOR_P1
] instead.
- If not set, this is a normal 4KiB page mapping.
sourcepub const PAT_BIT2_FOR_P1: Self = _
pub const PAT_BIT2_FOR_P1: Self = _
(For P1-level (lowest level) page tables ONLY): If the Page Attribute Table (PAT) feature is enabled, this represents the most-significant bit of the 3-bit index into the Page Attribute Table; that index is used to determine the PAT entry that holds the memory caching type that is applied to this page.
This cannot be used for PAT index bits in a mid-level (P2 or P3) entry.
sourcepub const _GLOBAL: Self = _
pub const _GLOBAL: Self = _
- If set, this page is mapped identically across all address spaces (all root page tables) and doesn’t need to be flushed out of the TLB when switching to another address space (page table).
- If not set, this page is mapped into only one or less than all address spaces, or is mapped differently across different address spaces, and thus be flushed out of the TLB when switching address spaces (page tables).
Note: Theseus is a single address space system, so this flag makes no difference.
sourcepub const EXCLUSIVE: Self = _
pub const EXCLUSIVE: Self = _
See PteFlags::EXCLUSIVE. We use bit 55 because it is available for custom OS usage on both x86_64 and aarch64.
sourcepub const NOT_EXECUTABLE: Self = _
pub const NOT_EXECUTABLE: Self = _
- If set, this page is not executable.
- If not set, this page is executable.
source§impl PteFlagsX86_64
impl PteFlagsX86_64
sourcepub const fn bits(&self) -> u64
pub const fn bits(&self) -> u64
Get the underlying bits value.
The returned value is exactly the bits set in this flags value.
sourcepub const fn from_bits(bits: u64) -> Option<Self>
pub const fn from_bits(bits: u64) -> Option<Self>
Convert from a bits value.
This method will return None
if any unknown bits are set.
sourcepub const fn from_bits_truncate(bits: u64) -> Self
pub const fn from_bits_truncate(bits: u64) -> Self
Convert from a bits value, unsetting any unknown bits.
sourcepub const fn from_bits_retain(bits: u64) -> Self
pub const fn from_bits_retain(bits: u64) -> Self
Convert from a bits value exactly.
sourcepub fn from_name(name: &str) -> Option<Self>
pub fn from_name(name: &str) -> Option<Self>
Get a flags value with the bits of a flag with the given name set.
This method will return None
if name
is empty or doesn’t
correspond to any named flag.
sourcepub const fn intersects(&self, other: Self) -> bool
pub const fn intersects(&self, other: Self) -> bool
Whether any set bits in a source flags value are also set in a target flags value.
sourcepub const fn contains(&self, other: Self) -> bool
pub const fn contains(&self, other: Self) -> bool
Whether all set bits in a source flags value are also set in a target flags value.
sourcepub fn remove(&mut self, other: Self)
pub fn remove(&mut self, other: Self)
The intersection of a source flags value with the complement of a target flags value (&!
).
This method is not equivalent to self & !other
when other
has unknown bits set.
remove
won’t truncate other
, but the !
operator will.
sourcepub fn toggle(&mut self, other: Self)
pub fn toggle(&mut self, other: Self)
The bitwise exclusive-or (^
) of the bits in two flags values.
sourcepub fn set(&mut self, other: Self, value: bool)
pub fn set(&mut self, other: Self, value: bool)
Call insert
when value
is true
or remove
when value
is false
.
sourcepub const fn intersection(self, other: Self) -> Self
pub const fn intersection(self, other: Self) -> Self
The bitwise and (&
) of the bits in two flags values.
sourcepub const fn union(self, other: Self) -> Self
pub const fn union(self, other: Self) -> Self
The bitwise or (|
) of the bits in two flags values.
sourcepub const fn difference(self, other: Self) -> Self
pub const fn difference(self, other: Self) -> Self
The intersection of a source flags value with the complement of a target flags value (&!
).
This method is not equivalent to self & !other
when other
has unknown bits set.
difference
won’t truncate other
, but the !
operator will.
sourcepub const fn symmetric_difference(self, other: Self) -> Self
pub const fn symmetric_difference(self, other: Self) -> Self
The bitwise exclusive-or (^
) of the bits in two flags values.
sourcepub const fn complement(self) -> Self
pub const fn complement(self) -> Self
The bitwise negation (!
) of the bits in a flags value, truncating the result.
source§impl PteFlagsX86_64
impl PteFlagsX86_64
sourcepub const fn iter(&self) -> Iter<PteFlagsX86_64>
pub const fn iter(&self) -> Iter<PteFlagsX86_64>
Yield a set of contained flags values.
Each yielded flags value will correspond to a defined named flag. Any unknown bits will be yielded together as a final flags value.
sourcepub const fn iter_names(&self) -> IterNames<PteFlagsX86_64>
pub const fn iter_names(&self) -> IterNames<PteFlagsX86_64>
Yield a set of contained named flags values.
This method is like iter
, except only yields bits in contained named flags.
Any unknown bits, or bits not corresponding to a contained flag will not be yielded.
source§impl PteFlagsX86_64
impl PteFlagsX86_64
Functions common to PTE flags on all architectures.
sourcepub const fn new() -> Self
pub const fn new() -> Self
Returns a new PteFlagsX86_64
with the default value, in which
only the NOT_EXECUTABLE
bit is set.
sourcepub fn valid(self, enable: bool) -> Self
pub fn valid(self, enable: bool) -> Self
Returns a copy of this PteFlagsX86_64
with the VALID
bit set or cleared.
- If
enable
istrue
, this PTE will be considered “present” and “valid”, meaning that the mapping from this page to a physical frame is valid and that the translation of a virtual address in this page should succeed. - If
enable
isfalse
, this PTE will be considered “invalid”, and any attempt to access it for translation purposes will cause a page fault.
sourcepub fn writable(self, enable: bool) -> Self
pub fn writable(self, enable: bool) -> Self
Returns a copy of this PteFlagsX86_64
with the WRITABLE
bit set or cleared.
- If
enable
istrue
, this will be writable. - If
enable
isfalse
, this will be read-only.
sourcepub fn executable(self, enable: bool) -> Self
pub fn executable(self, enable: bool) -> Self
Returns a copy of this PteFlagsX86_64
with the NOT_EXECUTABLE
bit cleared or set.
- If
enable
istrue
, this page will be executable (NOT_EXECUTABLE
will be cleared). - If
enable
isfalse
, this page will be non-executable, which is the default (NOT_EXECUTABLE
will be set).
sourcepub fn device_memory(self, enable: bool) -> Self
pub fn device_memory(self, enable: bool) -> Self
Returns a copy of this PteFlagsX86_64
with the DEVICE_MEMORY
bit set or cleared.
- If
enable
istrue
, this will be non-cacheable device memory. - If
enable
isfalse
, this will be “normal” memory, the default.
sourcepub fn exclusive(self, enable: bool) -> Self
pub fn exclusive(self, enable: bool) -> Self
Returns a copy of this PteFlagsX86_64
with the EXCLUSIVE
bit set or cleared.
- If
enable
istrue
, this page will exclusively map its frame. - If
enable
isfalse
, this page will NOT exclusively map its frame.
sourcepub fn accessed(self, enable: bool) -> Self
pub fn accessed(self, enable: bool) -> Self
Returns a copy of this PteFlagsX86_64
with the ACCESSED
bit set or cleared.
Typically this is used to clear the ACCESSED
bit, in order to indicate
that the OS has “acknowledged” the fact that this page was accessed
since the last time it checked.
- If
enable
istrue
, this page will be marked as accessed. - If
enable
isfalse
, this page will be marked as not accessed.
sourcepub fn dirty(self, enable: bool) -> Self
pub fn dirty(self, enable: bool) -> Self
Returns a copy of this PteFlagsX86_64
with the DIRTY
bit set or cleared.
Typically this is used to clear the DIRTY
bit, in order to indicate
that the OS has “acknowledged” the fact that this page was written to
since the last time it checked.
This bit is typically set by the hardware.
- If
enable
istrue
, this page will be marked as dirty. - If
enable
isfalse
, this page will be marked as clean.
pub const fn is_valid(&self) -> bool
pub const fn is_writable(&self) -> bool
pub const fn is_executable(&self) -> bool
pub const fn is_device_memory(&self) -> bool
pub const fn is_dirty(&self) -> bool
pub const fn is_accessed(&self) -> bool
pub const fn is_exclusive(&self) -> bool
source§impl PteFlagsX86_64
impl PteFlagsX86_64
Functions specific to x86_64 PTE flags only.
sourcepub fn adjust_for_higher_level_pte(self) -> Self
pub fn adjust_for_higher_level_pte(self) -> Self
Returns a copy of this PteFlagsX86_64
with its flags adjusted
for use in a higher-level page table entry, e.g., P4, P3, P2.
Currently, on x86_64, this does the following:
- Clears the
NOT_EXECUTABLE
bit.- P4, P3, and P2 entries should never set
NOT_EXECUTABLE
, only the lowest-level P1 entry should.
- P4, P3, and P2 entries should never set
- Clears the
EXCLUSIVE
bit.- Currently, we do not use the
EXCLUSIVE
bit for P4, P3, or P2 entries, because another page table frame may re-use it (create another alias to it) without our page table implementation knowing about it. - Only P1-level PTEs can map a frame exclusively.
- Currently, we do not use the
- Clears the PAT index value, as we only support PAT on P1-level PTEs.
- Sets the
VALID
bit, as every P4, P3, and P2 entry must be valid.
sourcepub fn pat_index(self, pat_slot: u8) -> Self
pub fn pat_index(self, pat_slot: u8) -> Self
Returns a copy of this PteFlagsX86_64
with the PAT index bits
set to the value specifying the given pat_slot
.
This sets the following bits:
PteFlagsX86_64::PAT_BIT0
= Bit 0 ofpat_slot
PteFlagsX86_64::PAT_BIT1
= Bit 1 ofpat_slot
PteFlagsX86_64::PAT_BIT2_FOR_P1
= Bit 2 ofpat_slot
The other bits [3:7]
of pat_slot
are ignored.
pub fn get_pat_index(&self) -> u8
pub const fn is_huge(&self) -> bool
Trait Implementations§
source§impl Binary for PteFlagsX86_64
impl Binary for PteFlagsX86_64
source§impl BitAnd<PteFlagsX86_64> for PteFlagsX86_64
impl BitAnd<PteFlagsX86_64> for PteFlagsX86_64
source§impl BitAndAssign<PteFlagsX86_64> for PteFlagsX86_64
impl BitAndAssign<PteFlagsX86_64> for PteFlagsX86_64
source§fn bitand_assign(&mut self, other: Self)
fn bitand_assign(&mut self, other: Self)
The bitwise and (&
) of the bits in two flags values.
source§impl BitOr<PteFlagsX86_64> for PteFlagsX86_64
impl BitOr<PteFlagsX86_64> for PteFlagsX86_64
source§fn bitor(self, other: PteFlagsX86_64) -> Self
fn bitor(self, other: PteFlagsX86_64) -> Self
The bitwise or (|
) of the bits in two flags values.
§type Output = PteFlagsX86_64
type Output = PteFlagsX86_64
|
operator.source§impl BitOrAssign<PteFlagsX86_64> for PteFlagsX86_64
impl BitOrAssign<PteFlagsX86_64> for PteFlagsX86_64
source§fn bitor_assign(&mut self, other: Self)
fn bitor_assign(&mut self, other: Self)
The bitwise or (|
) of the bits in two flags values.
source§impl BitXor<PteFlagsX86_64> for PteFlagsX86_64
impl BitXor<PteFlagsX86_64> for PteFlagsX86_64
source§impl BitXorAssign<PteFlagsX86_64> for PteFlagsX86_64
impl BitXorAssign<PteFlagsX86_64> for PteFlagsX86_64
source§fn bitxor_assign(&mut self, other: Self)
fn bitxor_assign(&mut self, other: Self)
The bitwise exclusive-or (^
) of the bits in two flags values.
source§impl Clone for PteFlagsX86_64
impl Clone for PteFlagsX86_64
source§fn clone(&self) -> PteFlagsX86_64
fn clone(&self) -> PteFlagsX86_64
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Debug for PteFlagsX86_64
impl Debug for PteFlagsX86_64
source§impl Default for PteFlagsX86_64
impl Default for PteFlagsX86_64
See PteFlagsX86_64::new()
for what bits are set by default.
source§impl Extend<PteFlagsX86_64> for PteFlagsX86_64
impl Extend<PteFlagsX86_64> for PteFlagsX86_64
source§fn extend<T: IntoIterator<Item = Self>>(&mut self, iterator: T)
fn extend<T: IntoIterator<Item = Self>>(&mut self, iterator: T)
The bitwise or (|
) of the bits in each flags value.
source§fn extend_one(&mut self, item: A)
fn extend_one(&mut self, item: A)
extend_one
)source§fn extend_reserve(&mut self, additional: usize)
fn extend_reserve(&mut self, additional: usize)
extend_one
)source§impl Flags for PteFlagsX86_64
impl Flags for PteFlagsX86_64
source§const FLAGS: &'static [Flag<PteFlagsX86_64>] = _
const FLAGS: &'static [Flag<PteFlagsX86_64>] = _
source§fn from_bits_retain(bits: u64) -> PteFlagsX86_64
fn from_bits_retain(bits: u64) -> PteFlagsX86_64
§fn from_bits_truncate(bits: Self::Bits) -> Self
fn from_bits_truncate(bits: Self::Bits) -> Self
§fn from_name(name: &str) -> Option<Self>
fn from_name(name: &str) -> Option<Self>
§fn iter_names(&self) -> IterNames<Self>
fn iter_names(&self) -> IterNames<Self>
§fn intersects(&self, other: Self) -> boolwhere
Self: Sized,
fn intersects(&self, other: Self) -> boolwhere Self: Sized,
§fn contains(&self, other: Self) -> boolwhere
Self: Sized,
fn contains(&self, other: Self) -> boolwhere Self: Sized,
§fn insert(&mut self, other: Self)where
Self: Sized,
fn insert(&mut self, other: Self)where Self: Sized,
|
) of the bits in two flags values.§fn remove(&mut self, other: Self)where
Self: Sized,
fn remove(&mut self, other: Self)where Self: Sized,
&!
). Read more§fn toggle(&mut self, other: Self)where
Self: Sized,
fn toggle(&mut self, other: Self)where Self: Sized,
^
) of the bits in two flags values.§fn set(&mut self, other: Self, value: bool)where
Self: Sized,
fn set(&mut self, other: Self, value: bool)where Self: Sized,
Flags::insert
] when value
is true
or [Flags::remove
] when value
is false
.§fn intersection(self, other: Self) -> Self
fn intersection(self, other: Self) -> Self
&
) of the bits in two flags values.§fn difference(self, other: Self) -> Self
fn difference(self, other: Self) -> Self
&!
). Read more§fn symmetric_difference(self, other: Self) -> Self
fn symmetric_difference(self, other: Self) -> Self
^
) of the bits in two flags values.§fn complement(self) -> Self
fn complement(self) -> Self
!
) of the bits in a flags value, truncating the result.source§impl From<PteFlags> for PteFlagsX86_64
impl From<PteFlags> for PteFlagsX86_64
source§impl From<PteFlagsX86_64> for PteFlags
impl From<PteFlagsX86_64> for PteFlags
source§fn from(specific: PteFlagsX86_64) -> Self
fn from(specific: PteFlagsX86_64) -> Self
source§impl FromIterator<PteFlagsX86_64> for PteFlagsX86_64
impl FromIterator<PteFlagsX86_64> for PteFlagsX86_64
source§fn from_iter<T: IntoIterator<Item = Self>>(iterator: T) -> Self
fn from_iter<T: IntoIterator<Item = Self>>(iterator: T) -> Self
The bitwise or (|
) of the bits in each flags value.
source§impl IntoIterator for PteFlagsX86_64
impl IntoIterator for PteFlagsX86_64
source§impl LowerHex for PteFlagsX86_64
impl LowerHex for PteFlagsX86_64
source§impl Not for PteFlagsX86_64
impl Not for PteFlagsX86_64
source§impl Octal for PteFlagsX86_64
impl Octal for PteFlagsX86_64
source§impl PartialEq<PteFlagsX86_64> for PteFlagsX86_64
impl PartialEq<PteFlagsX86_64> for PteFlagsX86_64
source§fn eq(&self, other: &PteFlagsX86_64) -> bool
fn eq(&self, other: &PteFlagsX86_64) -> bool
self
and other
values to be equal, and is used
by ==
.source§impl PublicFlags for PteFlagsX86_64
impl PublicFlags for PteFlagsX86_64
source§impl Sub<PteFlagsX86_64> for PteFlagsX86_64
impl Sub<PteFlagsX86_64> for PteFlagsX86_64
source§fn sub(self, other: Self) -> Self
fn sub(self, other: Self) -> Self
The intersection of a source flags value with the complement of a target flags value (&!
).
This method is not equivalent to self & !other
when other
has unknown bits set.
difference
won’t truncate other
, but the !
operator will.
§type Output = PteFlagsX86_64
type Output = PteFlagsX86_64
-
operator.source§impl SubAssign<PteFlagsX86_64> for PteFlagsX86_64
impl SubAssign<PteFlagsX86_64> for PteFlagsX86_64
source§fn sub_assign(&mut self, other: Self)
fn sub_assign(&mut self, other: Self)
The intersection of a source flags value with the complement of a target flags value (&!
).
This method is not equivalent to self & !other
when other
has unknown bits set.
difference
won’t truncate other
, but the !
operator will.