Searched defs:global_device_id (Results 1 – 3 of 3) sorted by relevance
41 int32 global_device_id = 4; // Globally unique ID number. field
184 int32_t global_device_id = host_ordinal_to_global_device_id(j); in Compute() local
272 GlobalDeviceId global_device_id(device_proto.global_device_id()); in BuildDistributedDevices() local