From: Isaku Yamahata <isaku.yamahata@xxxxxxxxx>
TDX doesn't allow level interrupt and SMI/INIT/SIPI interrupt delivery
mode. So disallow them.
Signed-off-by: Isaku Yamahata <isaku.yamahata@xxxxxxxxx>
---
hw/i386/x86.c | 3 +++
1 file changed, 3 insertions(+)
diff --git a/hw/i386/x86.c b/hw/i386/x86.c
index 24af05c313..c372403b87 100644
--- a/hw/i386/x86.c
+++ b/hw/i386/x86.c
@@ -1307,6 +1307,9 @@ static int x86_kvm_type(MachineState *ms, const char *vm_type)
kvm_type = KVM_X86_LEGACY_VM;
} else if (!g_ascii_strcasecmp(vm_type, "tdx")) {
kvm_type = KVM_X86_TDX_VM;
+ X86_MACHINE(ms)->eoi_intercept_unsupported = true;
+ X86_MACHINE(ms)->smi_unsupported = true;
+ X86_MACHINE(ms)->init_sipi_unsupported = true;
} else {
error_report("Unknown kvm-type specified '%s'", vm_type);
exit(1);
--
2.25.1
