On 3/4/22 20:49, isaku.yamahata@xxxxxxxxx wrote:
+ bool interrupt_disabled = tdvmcall_p1_read(vcpu);
Where is R12 documented for TDG.VP.VMCALL<Instruction.HLT>?
+ * Virtual interrupt can arrive after TDG.VM.VMCALL<HLT> during + * the TDX module executing. On the other hand, KVM doesn't + * know if vcpu was executing in the guest TD or the TDX module.
I don't understand this; why isn't it enough to check PI.ON or something like that as part of HLT emulation?
+ details.full = td_state_non_arch_read64( + to_tdx(vcpu), TD_VCPU_STATE_DETAILS_NON_ARCH);
TDX documentation says "the meaning of the field may change with Intel TDX module version", where is this field documented? I cannot find any "other guest state" fields in the TDX documentation.
Paolo
+ if (details.vmxip) + return 1; + } + + return kvm_emulate_halt_noskip(vcpu);
