hfi1_dbg_init    1412 drivers/infiniband/hw/hfi1/debugfs.c void hfi1_dbg_init(void)
hfi1_dbg_init      90 drivers/infiniband/hw/hfi1/debugfs.h void hfi1_dbg_init(void);
hfi1_dbg_init    1496 drivers/infiniband/hw/hfi1/init.c 	hfi1_dbg_init();