Searched defs:rng_seed_hex (Results 1 – 2 of 2) sorted by relevance
857 char *rng_seed_hex = opaque; in reinitialize_rng_seed() local876 char rng_seed_hex[sizeof(rng_seed) * 2 + 1]; in load_kernel() local
765 char *rng_seed_hex = fw_getenv("rngseed"); in setup_rng_seed() local