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.