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();