guest_random_state
extern struct guest_random_state guest_rng;
struct guest_random_state new_guest_random_state(u32 seed);
u32 guest_random_u32(struct guest_random_state *state);
static inline bool __guest_random_bool(struct guest_random_state *state,
static inline bool guest_random_bool(struct guest_random_state *state)
static inline u64 guest_random_u64(struct guest_random_state *state)
struct guest_random_state guest_rng;
struct guest_random_state rand_state;
struct guest_random_state new_guest_random_state(u32 seed)
struct guest_random_state s = {.seed = seed};
u32 guest_random_u32(struct guest_random_state *state)