Searched refs:port_index_end (Results 1 – 1 of 1) sorted by relevance
392 unsigned long port_index_end = ULONG_MAX; in devlink_nl_health_reporter_get_dump_one() local402 port_index_end = port_index_start; in devlink_nl_health_reporter_get_dump_one()425 port_index_start, port_index_end) { in devlink_nl_health_reporter_get_dump_one()