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...