Re: [PATCH v8 2/5] x86/tdx: Add TDX Guest event notify interrupt support

[Kai Huang]

On Sat, 2022-06-25 at 15:35 +1200, Yao, Jiewen wrote:
> Thank you, Jun.
> 
> Yes. I confirmed that we will include below change to GHCI.next spec.
> 
> ================
> 3.5 TDG.VP.VMCALL<SetupEventNotifyInterrupt>
> 
> From: "The host VMM should use SEAMCALL [TDWRVPS] leaf to inject an interrupt at the requested-interrupt vector into the TD via the posted-interrupt descriptor. "
> 
> To: "The host VMM should use SEAMCALL [TDWRVPS] leaf to inject an interrupt at the requested-interrupt vector into the TD VCPU that executed TDG.VP.VMCALL <SetupEventNotifyInterrupt> via the posted-interrupt descriptor. "
> 

Hi Sathy,

With this change, I don't think we should use system vector anymore.  Instead,
we just need one non-migratable IRQ which has a fixed vector on a fixed cpu.

-- 
Thanks,
-Kai