Searched refs:cap_rdpid (Results 1 – 1 of 1) sorted by relevance
174 static int cap_rdpid; variable175 SYSCTL_INT(_hw_vmm_vmx_cap, OID_AUTO, rdpid, CTLFLAG_RD, &cap_rdpid, 0,814 cap_rdpid = error == 0 && host_has_rdpid(); in vmx_modinit()816 if (cap_rdpid || cap_rdtscp) { in vmx_modinit()1106 ((cap_rdpid || cap_rdtscp) && guest_msr_ro(vmx, MSR_TSC_AUX))) in vmx_init()1210 vcpu->cap.set |= cap_rdpid != 0 ? 1 << VM_CAP_RDPID : 0; in vmx_vcpu_init()3548 if (cap_rdpid) in vmx_getcap()3623 if (cap_rdpid || cap_rdtscp) in vmx_setcap()