Searched refs:wait_start_time (Results 1 – 1 of 1) sorted by relevance
97 lk_time_ns_t wait_start_time = current_time_ns(); in platform_random_get_bytes() local116 lk_time_ns_t time_waited = current_time_ns() - wait_start_time; in platform_random_get_bytes()