SYSCALL_CODE_REG
#ifdef SYSCALL_CODE_REG
uint32_t code = tf->tf_reg[SYSCALL_CODE_REG];
#if (SYSCALL_CODE_REG == 0)
size_t code = tf->tf_reg[SYSCALL_CODE_REG];
#if (SYSCALL_CODE_REG == 0)
#ifdef SYSCALL_CODE_REG