PCID_KERNEL - Illumos

1324

MAKECR3(kas.a_hat->hat_htable->ht_pfn, PCID_KERNEL));

1529

kcr3 = MAKECR3(tl_kpfn, PCID_KERNEL) | CR3_NOINVL_BIT;

494

ASSERT(getpcid() == PCID_KERNEL);

508

ASSERT(getpcid() == PCID_KERNEL);

526

invpcid(INVPCID_ADDR, PCID_KERNEL, va);

571

ASSERT(getpcid() == PCID_KERNEL);