PCID_KERN
(PCID_KERN | cr3_reuse_pcid);
#if PCID_KERN != 0
tlb_shoot_first_pcid = is_kva ? PCID_KERN : PCID_PROC;
invpcid(INVPCID_ADDR, PCID_KERN, va);
tlb_shoot_first_pcid = is_kva ? PCID_KERN : PCID_PROC;
invpcid(INVPCID_ADDR, PCID_KERN, va);
KASSERT((cr3 & CR3_PCID) == PCID_KERN ||