xen_kpm_page
if (kpm_vbase && xen_kpm_page(pfn, PT_VALID | PT_WRITABLE) < 0)
} else if (kpm_vbase && xen_kpm_page(ht->ht_pfn,
(void) xen_kpm_page(ht->ht_pfn, PT_VALID);
(void) xen_kpm_page(hat->hat_user_ptable, PT_VALID);
extern int xen_kpm_page(pfn_t, uint_t);
(void) xen_kpm_page(pfn, PT_VALID | PT_WRITABLE);
err = xen_kpm_page(mmu_btop(cp->cpu_m.mcpu_gdtpa), pt_bits);
if ((err = xen_kpm_page(hat_getpfnum(kas.a_hat, lva),
if (kpm_vbase != NULL && xen_kpm_page(pfn, 0) < 0)
if (kpm_vbase != NULL && xen_kpm_page(pfn, PT_VALID | PT_WRITABLE) < 0)