Searched refs:kbm_read_only (Results 1 – 5 of 5) sorted by relevance
82 extern void kbm_read_only(uintptr_t va, paddr_t pa);
185 kbm_read_only((uintptr_t)kpm_vbase + paddr + pg_off, in xen_kpm_create()316 kbm_read_only((uintptr_t)mmu.pwin_pte_va, mmu.pwin_pte_pa); in hat_kern_alloc()
402 kbm_read_only(uintptr_t va, paddr_t pa) in kbm_read_only() function
183 kbm_read_only((uintptr_t)bgdt, gdtpa); in boot_kdi_tmpinit()
603 kbm_read_only((uintptr_t)gdt0, gdtpa); in init_gdt()