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() */