uint64_t rdrand_do(uint32_t *value, uint8_t retries)
Generates a random 32-bit unsigned integer using the RDRAND instruction.
void rand_cpu_init(rand_cpu_ctx_t *ctx)
Initializes the random number generator.
uint64_t rand_gen(void *buffer, uint64_t size)
Fills a buffer with random bytes.
EFI_PHYSICAL_ADDRESS buffer
CPU random number generator context.
bool rdrandAvail
If set, the RDRAND instruction is avilable and working.