Searched defs:sys_clock_settime (Results 1 – 2 of 2) sorted by relevance
549 sys_clock_settime(struct tcb *tcp) in sys_clock_settime() function
2115 PRE(sys_clock_settime) in PRE() argument