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