Searched refs:port_index_end (Results 1 – 1 of 1) sorted by relevance
394 unsigned long port_index_end = ULONG_MAX; in devlink_nl_health_reporter_get_dump_one() local404 port_index_end = port_index_start; in devlink_nl_health_reporter_get_dump_one()427 port_index_start, port_index_end) { in devlink_nl_health_reporter_get_dump_one()