Searched refs:PCID_NONE (Results 1 – 5 of 5) sorted by relevance
151 (getcr3() & MMU_PAGEOFFSET) : PCID_NONE)
98 #define PCID_NONE 0x000 /* generic PCID */ macro
341 rm->rm_pdbr = MAKECR3(kas.a_hat->hat_htable->ht_pfn, PCID_NONE); in mach_cpucontext_xalloc()
1423 newcr3 = MAKECR3((uint64_t)hat->hat_htable->ht_pfn, PCID_NONE); in hat_switch_xen()1537 kcr3 = MAKECR3(tl_kpfn, PCID_NONE); in hat_switch()1539 MAKECR3(info->hci_user_l3pfn, PCID_NONE) : in hat_switch()
7903 ASSERT((getcr3() & MMU_PAGEOFFSET) == PCID_NONE); in enable_pcid()