pub fn kernel_page_table_paddr() -> usize
Get the current kernel page table physical address and ASID