Searched refs:cap_rdpid (Results 1 - 1 of 1) sorted by relevance

/freebsd-13-stable/sys/amd64/vmm/intel/
H A Dvmx.c171 static int cap_rdpid; variable
172 SYSCTL_INT(_hw_vmm_vmx_cap, OID_AUTO, rdpid, CTLFLAG_RD, &cap_rdpid, 0,
812 cap_rdpid = error == 0 && host_has_rdpid();
814 if (cap_rdpid || cap_rdtscp)
1087 ((cap_rdpid || cap_rdtscp) && guest_msr_ro(vmx, MSR_TSC_AUX)))
1166 vmx->cap[i].set |= cap_rdpid != 0 ? 1 << VM_CAP_RDPID : 0;
3475 if (cap_rdpid)
3548 if (cap_rdpid || cap_rdtscp)

Completed in 74 milliseconds