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