Symbol: HW_XEN_PV
usr/src/uts/intel/io/acpica/acpica.c
480
if (get_hwenv() == HW_XEN_PV && is_controldom())
usr/src/uts/intel/os/cpuid.c
2331
return (HW_XEN_PV);