Searched refs:time_us_64 (Results 1 – 5 of 5) sorted by relevance
41 uint64_t time_us_64() { in time_us_64() function75 uint64_t base = time_us_64(); in busy_wait_us()177 uint64_t now = time_us_64(); in hardware_alarm_set_target()199 if (time_us_64() >= t) { in hardware_alarm_set_target()
98 s1 = time_us_64(); // should not be 0, but loop anyway in xoroshiro128ss()217 local_rng_state.r[which] ^= splitmix64(time_us_64()); in initialise_rand()262 local_rng_state.r[which] ^= splitmix64(time_us_64()); in get_rand_64()
106 last_avail_time = time_us_64(); in stdio_usb_out_chars()111 …(!tud_cdc_write_available() && time_us_64() > last_avail_time + PICO_STDIO_USB_STDOUT_TIMEOUT_US))… in stdio_usb_out_chars()
78 uint64_t time_us_64(void);
63 update_us_since_boot(&t, time_us_64()); in get_absolute_time()
Completed in 7 milliseconds