Searched refs:vki_timer_t (Results 1 – 4 of 4) sorted by relevance
| /external/valgrind/include/vki/ |
| D | vki-mips32-linux.h | 922 vki_timer_t _tid; /* timer id */
|
| D | vki-mips64-linux.h | 945 vki_timer_t _tid; /* timer id */
|
| D | vki-linux.h | 184 typedef __vki_kernel_timer_t vki_timer_t; typedef
447 vki_timer_t _tid; /* timer id */
|
| /external/valgrind/coregrind/m_syswrap/ |
| D | syswrap-linux.c | 2216 vki_timer_t *, timerid); in PRE()
2230 PRE_MEM_WRITE( "timer_create(timerid)", ARG3, sizeof(vki_timer_t) ); in PRE()
2234 POST_MEM_WRITE( ARG3, sizeof(vki_timer_t) ); in POST()
2241 vki_timer_t, timerid, int, flags, in PRE()
2260 vki_timer_t, timerid, struct itimerspec *, value); in PRE()
2272 PRE_REG_READ1(long, "timer_getoverrun", vki_timer_t, timerid); in PRE()
2278 PRE_REG_READ1(long, "timer_delete", vki_timer_t, timerid); in PRE()
|