Delayed interrupts are fine, since they are injected according to RVI andAh. As is, I don't believe KVM has access to this information. TDX-Module
the posted interrupt descriptor. I'm thinking more of events (exceptions
and interrupts) that caused an EPT violation exit and were recorded in the
IDT-vectored info field.
handles the actual EPT violation, as well as event reinjection. The EPT
violation reported by SEAMRET is synthesized, and IIRC the IDT-vectoring field
is not readable.
Regardless, is there an actual a problem with having a "pending" exception that
isn't reported to userspace? Obviously the info needs to be migrated, but that
will be taken care of by virtue of migrating the VMCS.