kernel_thread::syscall::fs

Function sys_ppoll

Source 
pub(super) async fn sys_ppoll(
    task: &Sel4Task,
    poll_fds_ptr: *const PollFd,
    nfds: usize,
    timeout_ptr: *const TimeSpec,
    sigmask_ptr: usize,
) -> SysResult