Function memory_aarch64::get_p4

source · 
pub fn get_p4() -> PhysicalAddress
Expand description

Returns the current top-level page table address.

We use TTBR0 in Theseus to store the top-level page table, so this function reads that register.