Home
last modified time | relevance | path

Searched refs:PCID_KERNEL (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/uts/i86pc/vm/
H A Di86_mmu.c494 ASSERT(getpcid() == PCID_KERNEL); in mmu_flush_tlb_kpage()
508 ASSERT(getpcid() == PCID_KERNEL); in mmu_flush_tlb_page()
526 invpcid(INVPCID_ADDR, PCID_KERNEL, va); in mmu_flush_tlb_page()
571 ASSERT(getpcid() == PCID_KERNEL); in mmu_flush_tlb()
H A Dhat_i86.c1324 MAKECR3(kas.a_hat->hat_htable->ht_pfn, PCID_KERNEL)); in hat_init_finish()
1529 kcr3 = MAKECR3(tl_kpfn, PCID_KERNEL) | CR3_NOINVL_BIT; in hat_switch()
/illumos-gate/usr/src/uts/intel/sys/
H A Dcontrolregs.h99 #define PCID_KERNEL 0x000 /* kernel's PCID */ macro