CPUIDECX_HV
(cpu_ecxfeature & CPUIDECX_HV) == 0) {
if (CPU_IS_PRIMARY(ci) && cpu_ecxfeature & CPUIDECX_HV)
if ((cpu_ecxfeature & CPUIDECX_HV) == 0) {
(ISSET(cpu_ecxfeature, CPUIDECX_HV) &&
if (ISSET(cpu_ecxfeature, CPUIDECX_HV)) {
*rcx = (cpu_ecxfeature | CPUIDECX_HV) & VMM_CPUIDECX_MASK;
if (sc->sc_acpi->sc_major < 5 && (cpu_ecxfeature & CPUIDECX_HV) == 0) {
if (ecx & CPUIDECX_HV) {
if (ecx & CPUIDECX_HV) {
if ((cpu_ecxfeature & CPUIDECX_HV) == 0) {
(cpu_ecxfeature & CPUIDECX_HV) == 0) {
{ CPUIDECX_HV, "HV" },
if (cpu_ecxfeature & CPUIDECX_HV)
if (ecx & CPUIDECX_HV) {
return (cpu_ecxfeature & CPUIDECX_HV) != 0;
return (cpu_ecxfeature & CPUIDECX_HV);