kbm_map
kbm_map((uintptr_t)va + page, start + page, 0, 0);
kbm_map(va, pa, level, is_kernel);
kbm_map(va, pa, level, is_kernel);
kbm_map((uintptr_t)pci_cfgacc_virt_base, pa_base, 0, 0);
kbm_map((uintptr_t)kpm_vbase + paddr, (paddr_t)0, 0, 1);
kbm_map((uintptr_t)kpm_vbase + paddr, paddr,
kbm_map((uintptr_t)mmu.pwin_pte_va, mmu.pwin_pte_pa, 0, 1);
extern void kbm_map(uintptr_t va, paddr_t pa, uint_t level, uint_t is_kernel);