__X32_SYSCALL_BIT
unsigned int xnr = nr - __X32_SYSCALL_BIT;
(!!(task_pt_regs(current)->orig_ax & __X32_SYSCALL_BIT))
if (task_pt_regs(current)->orig_ax & __X32_SYSCALL_BIT)
task_pt_regs(current)->orig_ax = __NR_x32_execve | __X32_SYSCALL_BIT;
return __NR_restart_syscall | (regs->orig_ax & __X32_SYSCALL_BIT);