kernel_thread::syscall::sys

Function sys_gettimeofday

Source 
pub(super) fn sys_gettimeofday(
    task: &Sel4Task,
    tv: *mut TimeVal,
    _timeone: usize,
) -> SysResult