HV_ISOLATION_TYPE_NONE
return HV_ISOLATION_TYPE_NONE;
return hv_get_isolation_type() != HV_ISOLATION_TYPE_NONE;