Searched refs:thunk_getcounter (Results 1 – 3 of 3) sorted by relevance
127 return thunk_getcounter(); in clock_getcounter()
87 unsigned int thunk_getcounter(void);
284 thunk_getcounter(void) in thunk_getcounter() function