Searched refs:fxrng_enabled (Results 1 – 1 of 1) sorted by relevance
65 static bool fxrng_enabled = true; variable66 SYSCTL_BOOL(_debug, OID_AUTO, fxrng_vdso_enable, CTLFLAG_RWTUN, &fxrng_enabled,270 if (fxrng_shpage_mapping == NULL || !fxrng_enabled) in fxrng_push_seed_generation()