On Tue, Sep 10, 2024 at 06:22:52PM +0200, Paolo Bonzini wrote: > On 8/30/24 07:52, Tony Lindgren wrote: > > > > +#define TDVMCALL_STATUS_SUCCESS 0x0000000000000000ULL > > > > -#define TDVMCALL_STATUS_RETRY 1 > > > > +#define TDVMCALL_STATUS_RETRY 0x0000000000000001ULL > > > > +#define TDVMCALL_STATUS_INVALID_OPERAND 0x8000000000000000ULL > > > Makes sense as they are the hardware status codes. > > I'll do a patch against the CoCo queue for the TDVMCALL_STATUS prefix FYI. > > Just squash it in the next version of this series. Sure no problem. Regards, Tony