pub(super) fn sys_ioctl( task: &Sel4Task, fd: usize, request: usize, arg1: usize, arg2: usize, arg3: usize, ) -> SysResult