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