Hi, > ioapic_init_gsi(gsi_state, "machine", x86ms->eoi_intercept_unsupported, > - x86ms->smi_unsupported); > + x86ms->smi_unsupported, x86ms->init_sipi_unsupported); Hmm, why add three different switches here? I suspect these would all be used together anyway? So maybe just add a "tdx mode" to the ioapic? Or maybe better a "confidential-computing" mode, as I guess amd will have similar requirements for similar reasons? thanks, Gerd