Searched refs:get_rand_64 (Results 1 – 3 of 3) sorted by relevance
320 uint64_t get_rand_64(void) { in get_rand_64() function375 ptr128->r[0] = get_rand_64(); in get_rand_128()376 ptr128->r[1] = get_rand_64(); in get_rand_128()380 return (uint32_t) get_rand_64(); in get_rand_32()
201 uint64_t get_rand_64(void);
17 uint64_t rand_data = get_rand_64(); in mbedtls_hardware_poll()
