get_hwenv
if (get_hwenv() & HW_VIRTUAL) {
if (get_hwenv() == HW_VMWARE)
if (get_hwenv() != HW_NATIVE)
if (get_hwenv() & HW_XEN_HVM)
if ((get_hwenv() & HW_XEN_HVM) != 0) {
int hwenv = get_hwenv();
if (get_hwenv() == HW_KVM)
if ((get_hwenv() & HW_XEN_HVM) != 0)
if (get_hwenv() == HW_NATIVE &&
if ((get_hwenv() & HW_XEN_HVM) == 0 &&
if (get_hwenv() == HW_NATIVE)
if (boot && get_hwenv() == HW_NATIVE &&
if ((get_hwenv() & HW_XEN_HVM) != 0)
if ((get_hwenv() & HW_VIRTUAL) == 0)
hwtype = get_hwenv();
hwtype = get_hwenv();
if ((get_hwenv() & HW_SUPPORTS_FREQ) == 0 &&
if (get_hwenv() == HW_XEN_PV && is_controldom())
(get_hwenv() == HW_KVM && cpi->cpi_family == 6 &&
if (cpi->cpi_family >= 0x12 || get_hwenv() != HW_NATIVE) {
platform = get_hwenv();
if ((get_hwenv() & HW_VIRTUAL) != 0)
if ((get_hwenv() & HW_VIRTUAL) != 0)
extern int get_hwenv(void);
if (get_hwenv() == HW_VMWARE)