static uint32_t sys_dup(uint32_t arg[]) { int fd1 = (int)arg[0]; int fd2 = (int)arg[1]; return sysfile_dup(fd1, fd2); }
static uint32_t __sys_linux_dup(uint32_t arg[]) { int fd = (int)arg[0]; return sysfile_dup(fd, NO_FD); }