Searched refs:time_us_64 (Results 1 – 9 of 9) sorted by relevance
28 update_us_since_boot(&t, time_us_64() + delay_us); in PICO_WEAK_FUNCTION_DEF()42 PICO_WEAK_FUNCTION_DEF(time_us_64) in PICO_WEAK_FUNCTION_DEF() argument43 uint64_t PICO_WEAK_FUNCTION_IMPL_NAME(time_us_64)() { in PICO_WEAK_FUNCTION_DEF()58 return (uint32_t) time_us_64(); in PICO_WEAK_FUNCTION_DEF()64 return time_us_64() >= target; in PICO_WEAK_FUNCTION_DEF()77 uint64_t time_us = time_us_64(); in PICO_WEAK_FUNCTION_DEF()80 time_us = time_us_64(); in PICO_WEAK_FUNCTION_DEF()
30 uint64_t time_us_64();
30 return time_us_64(); in ta_time_us_64()
98 s1 = time_us_64(); // should not be 0, but loop anyway in xoroshiro128ss()286 local_rng_state.r[which] ^= splitmix64(time_us_64()); in initialise_rand()335 local_rng_state.r[which] ^= splitmix64(time_us_64()); in get_rand_64()
97 uint64_t start = time_us_64(); in run_test()104 uint64_t pico_time = time_us_64() - start; in run_test()
116 last_avail_time = time_us_64(); in stdio_usb_out_chars()121 …(!tud_cdc_write_available() && time_us_64() > last_avail_time + PICO_STDIO_USB_STDOUT_TIMEOUT_US))… in stdio_usb_out_chars()
242 uint64_t time_us_64(void);
68 update_us_since_boot(&t, time_us_64()); in get_absolute_time()
125 uint64_t time_us_64(void) { in time_us_64() function
