Searched refs:next_global_device_id (Results 1 – 1 of 1) sorted by relevance
50 int next_global_device_id = 0; in BuildGlobalTopology() local53 device.set_global_device_id(next_global_device_id++); in BuildGlobalTopology()