Lines Matching refs:picoos_get_timer
2299 extern void picoos_get_timer(picopal_uint32 * sec, picopal_uint32 * usec)