On Tue, Jan 24, 2023 at 01:07:38AM -0800, H. Peter Anvin wrote: > Works for me, although I would call it REGS_UNDEFINED myself. I'll call it REGS_UNDEFINED too, in v3. -- Ammar Faizi
On Tue, Jan 24, 2023 at 01:07:38AM -0800, H. Peter Anvin wrote: > Works for me, although I would call it REGS_UNDEFINED myself. I'll call it REGS_UNDEFINED too, in v3. -- Ammar Faizi