pub fn sys_select(
locked: &mut Locked<Unlocked>,
current_task: &mut CurrentTask,
nfds: u32,
readfds_addr: UserRef<__kernel_fd_set>,
writefds_addr: UserRef<__kernel_fd_set>,
exceptfds_addr: UserRef<__kernel_fd_set>,
timeout_addr: TimeValPtr,
) -> Result<i32, Errno>