PCID_PROC
tlb_shoot_first_pcid = is_kva ? PCID_KERN : PCID_PROC;
invpcid(INVPCID_ADDR, PCID_PROC, va);
invpcid(INVPCID_ADDR, PCID_PROC, va);
tlb_shoot_first_pcid = is_kva ? PCID_KERN : PCID_PROC;
invpcid(INVPCID_ADDR, PCID_PROC, va);
invpcid(INVPCID_ADDR, PCID_PROC, va);
invpcid(INVPCID_ADDR, PCID_PROC, va);
invpcid(INVPCID_PCID, PCID_PROC, 0);
(cr3 & CR3_PCID) == PCID_PROC);
cr3_pcid_proc = PCID_PROC;
#if INVPCID_PCID == PCID_PROC