Searched refs:cap_invpcid (Results 1 – 1 of 1) sorted by relevance
193 static int cap_invpcid; variable194 SYSCTL_INT(_hw_vmm_vmx_cap, OID_AUTO, invpcid, CTLFLAG_RD, &cap_invpcid,837 cap_invpcid = (vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS2, in vmx_modinit()3571 if (cap_invpcid) in vmx_getcap()3653 if (cap_invpcid) { in vmx_setcap()