7576     char *devName = strtok(name, "|");  in loadDevicesFromName()  local
7577     while (devName != NULL) {  in loadDevicesFromName()
7578         if (strlen(devName) != 0) {  in loadDevicesFromName()
7581                                  devName);  in loadDevicesFromName()
7591                         declaredDevices.getDeviceFromName(String8(devName));  in loadDevicesFromName()
7597          devName = strtok(NULL, "|");  in loadDevicesFromName()
7831     char *devName = strtok(name, "|");  in parseDeviceNames()  local
7832     while (devName != NULL) {  in parseDeviceNames()
7833         if (strlen(devName) != 0) {  in parseDeviceNames()
7836                                  devName);  in parseDeviceNames()
7838         devName = strtok(NULL, "|");  in parseDeviceNames()