Searched refs:time_us_32 (Results 1 – 5 of 5) sorted by relevance
29 uint32_t time_us_32();
230 uint32_t t = time_us_32(); in uart_is_readable_within_us()235 } while ((time_us_32() - t) <= us); in uart_is_readable_within_us()
176 printf("HI %d\n", something_inlined((int)time_us_32())); in main()
95 return time_us_32(); in cyw43_hal_ticks_us()
215 static inline uint32_t time_us_32(void) { in time_us_32() function
