Function init_kernel_address_space 

pub unsafe fn init_kernel_address_space()

Initialize the kernel address space singleton.

Must be called once during boot, after paging is initialized, before the scheduler creates any tasks.

Safety

Must be called in single-threaded init context.