pub struct VirtAddr(/* private fields */);Expand description
A canonical 64-bit virtual memory address.
This is a wrapper type around an u64, so it is always 8 bytes, even when compiled
on non 64-bit systems. The
TryFrom trait can be used for performing conversions
between u64 and usize.
On x86_64, only the 48 lower bits of a virtual address can be used. The top 16 bits need
to be copies of bit 47, i.e. the most significant bit. Addresses that fulfil this criterium
are called “canonical”. This type guarantees that it always represents a canonical address.
Implementations§
source§impl VirtAddr
 
impl VirtAddr
sourcepub fn new(addr: u64) -> VirtAddr
 
pub fn new(addr: u64) -> VirtAddr
Creates a new canonical virtual address.
This function performs sign extension of bit 47 to make the address canonical.
Panics
This function panics if the bits in the range 48 to 64 contain data (i.e. are not null and no sign extension).
sourcepub fn try_new(addr: u64) -> Result<VirtAddr, VirtAddrNotValid>
 
pub fn try_new(addr: u64) -> Result<VirtAddr, VirtAddrNotValid>
Tries to create a new canonical virtual address.
This function tries to performs sign extension of bit 47 to make the address canonical. It succeeds if bits 48 to 64 are either a correct sign extension (i.e. copies of bit 47) or all null. Else, an error is returned.
sourcepub const fn new_truncate(addr: u64) -> VirtAddr
 
pub const fn new_truncate(addr: u64) -> VirtAddr
Creates a new canonical virtual address, throwing out bits 48..64.
This function performs sign extension of bit 47 to make the address canonical, so
bits 48 to 64 are overwritten. If you want to check that these bits contain no data,
use new or try_new.
sourcepub const unsafe fn new_unsafe(addr: u64) -> VirtAddr
 
pub const unsafe fn new_unsafe(addr: u64) -> VirtAddr
Creates a new virtual address, without any checks.
Safety
You must make sure bits 48..64 are equal to bit 47. This is not checked.
sourcepub const fn as_mut_ptr<T>(self) -> *mut T
 
pub const fn as_mut_ptr<T>(self) -> *mut T
Converts the address to a mutable raw pointer.
sourcepub const fn is_null(self) -> bool
 
pub const fn is_null(self) -> bool
Convenience method for checking if a virtual address is null.
sourcepub fn align_up<U>(self, align: U) -> Selfwhere
    U: Into<u64>,
 
pub fn align_up<U>(self, align: U) -> Selfwhere
    U: Into<u64>,
Aligns the virtual address upwards to the given alignment.
See the align_up function for more information.
Panics
This function panics if the resulting address is higher than
0xffff_ffff_ffff_ffff.
sourcepub fn align_down<U>(self, align: U) -> Selfwhere
    U: Into<u64>,
 
pub fn align_down<U>(self, align: U) -> Selfwhere
    U: Into<u64>,
Aligns the virtual address downwards to the given alignment.
See the align_down function for more information.
sourcepub fn is_aligned<U>(self, align: U) -> boolwhere
    U: Into<u64>,
 
pub fn is_aligned<U>(self, align: U) -> boolwhere
    U: Into<u64>,
Checks whether the virtual address has the demanded alignment.
sourcepub const fn page_offset(self) -> PageOffset
 
pub const fn page_offset(self) -> PageOffset
Returns the 12-bit page offset of this virtual address.
sourcepub const fn p1_index(self) -> PageTableIndex
 
pub const fn p1_index(self) -> PageTableIndex
Returns the 9-bit level 1 page table index.
sourcepub const fn p2_index(self) -> PageTableIndex
 
pub const fn p2_index(self) -> PageTableIndex
Returns the 9-bit level 2 page table index.
sourcepub const fn p3_index(self) -> PageTableIndex
 
pub const fn p3_index(self) -> PageTableIndex
Returns the 9-bit level 3 page table index.
sourcepub const fn p4_index(self) -> PageTableIndex
 
pub const fn p4_index(self) -> PageTableIndex
Returns the 9-bit level 4 page table index.
sourcepub const fn page_table_index(self, level: PageTableLevel) -> PageTableIndex
 
pub const fn page_table_index(self, level: PageTableLevel) -> PageTableIndex
Returns the 9-bit level page table index.
Trait Implementations§
source§impl AddAssign<u64> for VirtAddr
 
impl AddAssign<u64> for VirtAddr
source§fn add_assign(&mut self, rhs: u64)
 
fn add_assign(&mut self, rhs: u64)
+= operation. Read moresource§impl AddAssign<usize> for VirtAddr
 
impl AddAssign<usize> for VirtAddr
source§fn add_assign(&mut self, rhs: usize)
 
fn add_assign(&mut self, rhs: usize)
+= operation. Read moresource§impl Ord for VirtAddr
 
impl Ord for VirtAddr
source§impl PartialOrd for VirtAddr
 
impl PartialOrd for VirtAddr
source§impl Step for VirtAddr
 
impl Step for VirtAddr
source§fn steps_between(start: &Self, end: &Self) -> Option<usize>
 
fn steps_between(start: &Self, end: &Self) -> Option<usize>
step_trait)source§fn forward_checked(start: Self, count: usize) -> Option<Self>
 
fn forward_checked(start: Self, count: usize) -> Option<Self>
step_trait)source§fn backward_checked(start: Self, count: usize) -> Option<Self>
 
fn backward_checked(start: Self, count: usize) -> Option<Self>
step_trait)§fn forward(start: Self, count: usize) -> Self
 
fn forward(start: Self, count: usize) -> Self
step_trait)§unsafe fn forward_unchecked(start: Self, count: usize) -> Self
 
unsafe fn forward_unchecked(start: Self, count: usize) -> Self
step_trait)§fn backward(start: Self, count: usize) -> Self
 
fn backward(start: Self, count: usize) -> Self
step_trait)§unsafe fn backward_unchecked(start: Self, count: usize) -> Self
 
unsafe fn backward_unchecked(start: Self, count: usize) -> Self
step_trait)source§impl SubAssign<u64> for VirtAddr
 
impl SubAssign<u64> for VirtAddr
source§fn sub_assign(&mut self, rhs: u64)
 
fn sub_assign(&mut self, rhs: u64)
-= operation. Read moresource§impl SubAssign<usize> for VirtAddr
 
impl SubAssign<usize> for VirtAddr
source§fn sub_assign(&mut self, rhs: usize)
 
fn sub_assign(&mut self, rhs: usize)
-= operation. Read more