UPT_SYSCALL_ARG4
*args++ = UPT_SYSCALL_ARG4(r);
UPT_SYSCALL_ARG4(r) = *args++;
UPT_SYSCALL_ARG4(®s->regs));
UPT_SYSCALL_ARG4(®s->regs),