Searched refs:get_rand_64 (Results 1 – 3 of 3) sorted by relevance
247 uint64_t get_rand_64(void) { in get_rand_64() function297 ptr128->r[0] = get_rand_64(); in get_rand_128()298 ptr128->r[1] = get_rand_64(); in get_rand_128()302 return (uint32_t) get_rand_64(); in get_rand_32()
9 uint64_t rand_data = get_rand_64(); in mbedtls_hardware_poll()
169 uint64_t get_rand_64(void);