Searched refs:cap_invpcid (Results 1 – 1 of 1) sorted by relevance
190 static int cap_invpcid; variable191 SYSCTL_INT(_hw_vmm_vmx_cap, OID_AUTO, invpcid, CTLFLAG_RD, &cap_invpcid,826 cap_invpcid = (vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS2, in vmx_modinit()3560 if (cap_invpcid) in vmx_getcap()3642 if (cap_invpcid) { in vmx_setcap()