kernel_thread::syscall::sys

Function sys_clock_gettime

Source 
pub(super) fn sys_clock_gettime(
    task: &Sel4Task,
    clock_id: usize,
    times_ptr: *mut TimeSpec,
) -> SysResult