raidframe_booted  138 dev/raidframe/rf_driver.c static int raidframe_booted = 0;
raidframe_booted  184 dev/raidframe/rf_driver.c 	if (raidframe_booted)
raidframe_booted  186 dev/raidframe/rf_driver.c 	raidframe_booted = 1;
raidframe_booted  217 dev/raidframe/rf_driver.c 	raidframe_booted = 0;