hv_isolation_type_tdx
if (ms_hyperv.paravisor_present || !hv_isolation_type_tdx())
if (ms_hyperv.paravisor_present || !hv_isolation_type_tdx())
if (hv_isolation_type_tdx())
if (!hv_isolation_type_tdx())
if (hv_isolation_type_tdx() && !ms_hyperv.paravisor_present)
if (hv_isolation_type_tdx() && !ms_hyperv.paravisor_present)
if (hv_isolation_type_tdx())
if (hv_isolation_type_tdx())
bool hv_isolation_type_tdx(void);
if (!ms_hyperv.paravisor_present && hv_isolation_type_tdx())
else if (hv_isolation_type_tdx())
if (ms_hyperv.paravisor_present && hv_isolation_type_tdx()) {
if (ms_hyperv.paravisor_present && hv_isolation_type_tdx())
if (hv_isolation_type_tdx() && ms_hyperv.paravisor_present)
if (hv_isolation_type_tdx())
(hv_isolation_type_snp() || hv_isolation_type_tdx())) {
EXPORT_SYMBOL_GPL(hv_isolation_type_tdx);
bool hv_isolation_type_tdx(void);