hfi1_dbg_exit      91 drivers/infiniband/hw/hfi1/debugfs.h void hfi1_dbg_exit(void);
hfi1_dbg_exit    1505 drivers/infiniband/hw/hfi1/init.c 	hfi1_dbg_exit();
hfi1_dbg_exit    1521 drivers/infiniband/hw/hfi1/init.c 	hfi1_dbg_exit();