devlog_get_idx   1054 drivers/net/ethernet/chelsio/cxgb4/cxgb4_debugfs.c 		? devlog_get_idx(dinfo, *pos)
devlog_get_idx   1063 drivers/net/ethernet/chelsio/cxgb4/cxgb4_debugfs.c 	return devlog_get_idx(dinfo, *pos);