// The kernel follows the AMD64 ABI for parameter passing (first 6 arguments in
// registers and the remaining ones in on the stack), except that RCX (argument
// 4) is overwritten by the SYSCALL instruction, so it is moved to R10. Syscall
// number goes in RAX.