Symbol: PCID_TEMP
sys/arch/amd64/amd64/pmap.c
3310
invpcid(INVPCID_ADDR, PCID_TEMP, va);
sys/arch/amd64/amd64/pmap.c
3364
invpcid(INVPCID_ADDR, PCID_TEMP, va);
sys/arch/amd64/amd64/pmap.c
755
cr3_pcid_temp = PCID_TEMP;