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