On Fri, Oct 20, 2023 at 01:45:29PM -0700, Pawan Gupta wrote: > @@ -31,6 +32,8 @@ > #define VCPU_R15 __VCPU_REGS_R15 * WORD_SIZE > #endif > > +#define GUEST_CLEAR_CPU_BUFFERS USER_CLEAR_CPU_BUFFERS I don't think the extra macro buys anything here. -- Josh