random_fortuna_pre_read
static void random_fortuna_pre_read(void);
.ra_pre_read = random_fortuna_pre_read,
KFAIL_POINT_CODE(DEBUG_FP, random_fortuna_pre_read, {
random_fortuna_pre_read();