efa_free_mgmnt_irq  470 drivers/infiniband/hw/efa/efa_main.c 	efa_free_mgmnt_irq(dev);
efa_free_mgmnt_irq  493 drivers/infiniband/hw/efa/efa_main.c 	efa_free_mgmnt_irq(dev);