Searched refs:picoos_get_timer (Results 1 – 2 of 2) sorted by relevance
543 void picoos_get_timer(picopal_uint32 * sec, picopal_uint32 * usec);
2299 extern void picoos_get_timer(picopal_uint32 * sec, picopal_uint32 * usec) in picoos_get_timer() function