sys/amd64/amd64/mp_machdep.c

815

invpcid(&d, smp_tlb_pmap == kernel_pmap ? INVPCID_CTXGLOB :

sys/amd64/amd64/mp_machdep.c

841

invpcid(&d, INVPCID_CTXGLOB);

sys/amd64/amd64/mp_machdep.c

843

invpcid(&d, INVPCID_CTX);

sys/amd64/amd64/mp_machdep.c

911

invpcid(&d, INVPCID_ADDR);

sys/amd64/amd64/mp_machdep.c

976

invpcid(&d, INVPCID_CTXGLOB);

sys/amd64/amd64/mp_machdep.c

990

invpcid(&d, INVPCID_ADDR);

sys/amd64/amd64/pmap.c

3208

invpcid(&d, INVPCID_ADDR);

sys/amd64/amd64/pmap.c

3291

invpcid(&d, INVPCID_ADDR);

sys/amd64/amd64/pmap.c

3337

invpcid(&d, INVPCID_CTXGLOB);

sys/amd64/amd64/pmap.c

3381

invpcid(&d, INVPCID_CTXGLOB);

sys/amd64/amd64/pmap.c

3394

invpcid(&d, INVPCID_CTX);

sys/amd64/include/pmap.h

473

invpcid(&d, INVPCID_CTXGLOB);

sys/amd64/vmm/intel/vmx.c

194

SYSCTL_INT(_hw_vmm_vmx_cap, OID_AUTO, invpcid, CTLFLAG_RD, &cap_invpcid,