RANDOM_PURE_VMGENID
[RANDOM_PURE_VMGENID] = {
if (event->he_source == RANDOM_PURE_VMGENID)
source == RANDOM_CACHED || source == RANDOM_PURE_VMGENID) {
[RANDOM_PURE_VMGENID] = "PURE_VMGENID",
.rs_source = RANDOM_PURE_VMGENID,
random_harvest_direct(p, nbytes, RANDOM_PURE_VMGENID);