pub const R15: i32 = 0;
C ABI says these regs are callee-preserved. They aren’t saved on kernel entry unless syscall needs a complete, fully filled “struct pt_regs”.
