Function activate_page_table

pub unsafe fn activate_page_table(root_paddr: Paddr, root_pt_cache: CachePolicy)

Activates the given level 4 page table. The cache policy of the root page table node is controlled by root_pt_cache.

Changing the level 4 page table is unsafe, because it’s possible to violate memory safety by changing the page mapping.

• root_paddr should point to a valid instance of page table.