Searched refs:kbm_read_only (Results 1 – 5 of 5) sorted by relevance
186 kbm_read_only((uintptr_t)bgdt, gdtpa); in boot_kdi_tmpinit()245 kbm_read_only((uintptr_t)bgdt, gdtpa); in boot_kdi_tmpinit()
84 extern void kbm_read_only(uintptr_t va, paddr_t pa);
266 kbm_read_only((uintptr_t)kpm_vbase + paddr + pg_off, in xen_kpm_create()397 kbm_read_only((uintptr_t)mmu.pwin_pte_va, mmu.pwin_pte_pa); in hat_kern_alloc()
404 kbm_read_only(uintptr_t va, paddr_t pa) in kbm_read_only() function
612 kbm_read_only((uintptr_t)gdt0, gdtpa); in init_gdt()835 kbm_read_only((uintptr_t)gdt0, gdtpa); in init_gdt()