Searched defs:sys_clock_gettime (Results 1 – 2 of 2) sorted by relevance
560 sys_clock_gettime(struct tcb *tcp) in sys_clock_gettime() function
2123 PRE(sys_clock_gettime) in PRE() argument2130 POST(sys_clock_gettime) in POST() argument