> Hmm, I forgot about that quirk. I would expect the TDX Module to inject a #GP > for that case. I can't find anything in the spec that confirms or denies > that, > but injecting #VE would be weird and pointless. > > Andi/Sathya, the TDX Module spec should be updated to state that XSETBV will > #GP at CPL!=0. If that's not already the behavior, the module should probably > be changed...
I asked about this and the answer was that XSETBV behaves architecturally inside a TD (no #VE), thus there is nothing to document. -Andi
