rf_UpdateUserStats   69 dev/raidframe/rf_driver.h void rf_UpdateUserStats(RF_Raid_t *, int, int);
rf_UpdateUserStats  272 dev/raidframe/rf_states.c 	rf_UpdateUserStats(raidPtr, RF_ETIMER_VAL_US(desc->timer),