On Thu, Jan 26, 2023 at 04:17:12AM +0700, Ammar Faizi wrote: > +/* > + * REGS_SAVED = %rcx and %r11 preserved. > + * REGS_SYSRET = %rcx and %r11 set to %rflags and %rip. > + * REGS_ERROR = %rcx and/or %r11 set to any other values. Since we moved the assertion into check_regs_result(), we no longer need REGS_ERROR. check_regs_result() is now a void function. Will remove that comment... -- Ammar Faizi