hfi1_dbg_exit    1421 drivers/infiniband/hw/hfi1/debugfs.c void hfi1_dbg_exit(void)
hfi1_dbg_exit     106 drivers/infiniband/hw/hfi1/debugfs.h static inline void hfi1_dbg_exit(void)