Function write_user_page_table

pub unsafe fn write_user_page_table(root_paddr: PhysAddr)

Writes the register to update the current page table root for user space (CR3).

x86_64 does not have a separate page table root register for user and kernel space, so this operation is the same as write_kernel_page_table.

Note that the TLB will be flushed after this operation.

Safety

This function is unsafe as it changes the virtual memory address space.