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