hfi1_fault_exit_debugfs 1295 drivers/infiniband/hw/hfi1/debugfs.c 	hfi1_fault_exit_debugfs(ibd);
hfi1_fault_exit_debugfs   80 drivers/infiniband/hw/hfi1/fault.h void hfi1_fault_exit_debugfs(struct hfi1_ibdev *ibd);