is_valid_device_index
return (is_valid_device_index(index) && index != kControlDevice);
if (!is_valid_device_index(devIndex)) {
