kbm_read_only
kbm_read_only((uintptr_t)kpm_vbase + paddr + pg_off,
kbm_read_only((uintptr_t)mmu.pwin_pte_va, mmu.pwin_pte_pa);
extern void kbm_read_only(uintptr_t va, paddr_t pa);
kbm_read_only((uintptr_t)bgdt, gdtpa);
kbm_read_only((uintptr_t)gdt0, gdtpa);