Searched refs:picopal_clock_t (Results 1 – 1 of 1) sorted by relevance
490 typedef clock_t picopal_clock_t; typedef494 picopal_clock_t startTime;502 picopal_clock_t picopal_clock(void) in picopal_clock()504 return (picopal_clock_t)clock(); in picopal_clock()513 picopal_clock_t dt; in picopal_get_timer()