Both devices should be able to send audio through HDMI, but you'll have to try to be certain. You may have to change settings on both source devices.

See Mojo's signature