rf_ConfigureAllocList   54 dev/raidframe/rf_alloclist.h int  rf_ConfigureAllocList(RF_ShutdownList_t **);
rf_ConfigureAllocList  398 dev/raidframe/rf_driver.c 		DO_INIT_CONFIGURE(rf_ConfigureAllocList);