Searched refs:random_value (Results 1 – 1 of 1) sorted by relevance
68 uint64_t random_value = 0; in get_hardware_random_value() local70 if (_rdrand64(&random_value) != 0) { in get_hardware_random_value()71 unsigned char *random_buffer = (unsigned char *)&random_value; in get_hardware_random_value()73 if (bytes_remaining >= sizeof(random_value)) { in get_hardware_random_value()74 memcpy(buf, random_buffer, sizeof(random_value)); in get_hardware_random_value()75 bytes_remaining -= sizeof(random_value); in get_hardware_random_value()76 buf += sizeof(random_value); in get_hardware_random_value()79 random_buffer + (sizeof(random_value) - bytes_remaining), in get_hardware_random_value()