pub(super) fn sys_setitimer( task: &Sel4Task, which: usize, times_ptr: *mut ITimerVal, old_timer_ptr: *mut ITimerVal, ) -> SysResult