Function memory_aarch64::set_as_active_page_table_root
source · pub fn set_as_active_page_table_root(page_table: PhysicalAddress)
Expand description
Sets the given page_table
as active by updating the TTBR0 register.
An ASID of all zeros is also configured.