Re: [PATCH] x86/paravirt: Fix build PARAVIRT_XXL=y without XEN_PV

[Dave Hansen]

> TDX has a requirement to use HLT paravirt calls (which is currently
> listed under PARAVIRT_XXL). Once we submit a patch to move it
> under CONFIG_PARAVIRT, we will drop this dependency.

Taking a step back...

The basic requirement here is murky.  Why does TDX need to use these
paravirt hooks in the first place?  Why does TDX have "a requirement to
use HLT paravirt calls"?

If it really is just about idle, perhaps Peter's suggestion warrants
investigation.  But, we need to know the root cause instead of simply
tossing around "requirements".