Symbol: read_random_key
sys/dev/random/fenestrasX/fx_pub.h
51
void read_random_key(void *buf, size_t nbytes, uint64_t *seed_version_out);
sys/libkern/arc4random.c
128
read_random_key(key, CHACHA20_KEYBYTES, &seed_version);