Searched defs:sys_timerfd_gettime (Results 1 – 2 of 2) sorted by relevance
875 sys_timerfd_gettime(struct tcb *tcp) in sys_timerfd_gettime() function
2317 PRE(sys_timerfd_gettime) in PRE() argument2329 POST(sys_timerfd_gettime) in POST() argument