driver_stats_names 1353 drivers/infiniband/hw/hfi1/debugfs.c DEBUGFS_SEQ_FILE_OPS(driver_stats_names);
driver_stats_names 1354 drivers/infiniband/hw/hfi1/debugfs.c DEBUGFS_SEQ_FILE_OPEN(driver_stats_names)
driver_stats_names 1355 drivers/infiniband/hw/hfi1/debugfs.c DEBUGFS_FILE_OPS(driver_stats_names);