Searched defs:sys_timer_settime (Results 1 – 2 of 2) sorted by relevance
710 sys_timer_settime(struct tcb *tcp) in sys_timer_settime() function
2198 PRE(sys_timer_settime) in PRE() argument2211 POST(sys_timer_settime) in POST() argument