#ifndef KERNEL_X86_64_RANDOM_H_
#define KERNEL_X86_64_RANDOM_H_

#include <stdbool.h>
#include <stdint.h>

extern bool ml_hwrng_available(void);
extern uint64_t ml_hwrng_generate(void);

#endif