dispose_firmware  724 drivers/infiniband/hw/hfi1/chip.h void dispose_firmware(void);
dispose_firmware 1524 drivers/infiniband/hw/hfi1/init.c 	dispose_firmware();	/* asymmetric with obtain_firmware() */