Searched refs:cap_rdtscp (Results 1 – 1 of 1) sorted by relevance
175 static int cap_rdtscp; variable176 SYSCTL_INT(_hw_vmm_vmx_cap, OID_AUTO, rdtscp, CTLFLAG_RD, &cap_rdtscp, 0,813 cap_rdtscp = error == 0 && host_has_rdtscp(); in vmx_modinit()814 if (cap_rdpid || cap_rdtscp) in vmx_modinit()1087 ((cap_rdpid || cap_rdtscp) && guest_msr_ro(vmx, MSR_TSC_AUX))) in vmx_init()1167 vmx->cap[i].set |= cap_rdtscp != 0 ? 1 << VM_CAP_RDTSCP : 0; in vmx_init()3479 if (cap_rdtscp) in vmx_getcap()3548 if (cap_rdpid || cap_rdtscp) in vmx_setcap()