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