Searched refs:monitor_device_index (Results 1 – 1 of 1) sorted by relevance
1239 static int monitor_device_index = 0; in monitor_parse() local1248 monitor_device_index); in monitor_parse()1264 monitor_device_index++; in monitor_parse()