Lines Matching refs:devicePort
4935 final AudioDevicePort devicePort = (AudioDevicePort) port;
4936 if (devicePort.type() == AudioManager.DEVICE_OUT_HDMI ||
4937 devicePort.type() == AudioManager.DEVICE_OUT_HDMI_ARC) {
4939 int[] formats = AudioFormat.filterPublicFormats(devicePort.formats());
4956 for (int mask : devicePort.channelMasks()) {