fault_stats       121 drivers/infiniband/hw/hfi1/fault.c DEBUGFS_SEQ_FILE_OPS(fault_stats);
fault_stats       122 drivers/infiniband/hw/hfi1/fault.c DEBUGFS_SEQ_FILE_OPEN(fault_stats);
fault_stats       123 drivers/infiniband/hw/hfi1/fault.c DEBUGFS_FILE_OPS(fault_stats);