Searched refs:picopal_get_timer (Results 1 – 3 of 3) sorted by relevance
281 extern void picopal_get_timer(picopal_uint32 * sec, picopal_uint32 * usec);
509 void picopal_get_timer(picopal_uint32 * sec, picopal_uint32 * usec) in picopal_get_timer() function
2301 picopal_get_timer(sec, usec); in picoos_get_timer()