Searched refs:device_name_index (Results 1 – 1 of 1) sorted by relevance
647 void set_assigned_device_name_index(Node* node, int device_name_index) { in set_assigned_device_name_index() argument648 CheckDeviceNameIndex(device_name_index); in set_assigned_device_name_index()649 node->assigned_device_name_index_ = device_name_index; in set_assigned_device_name_index()