Your AV receiver has x4 HDMI in's and x1 HDMI out. Run all of your devices into the AV receiver, run a HDMI cable from the Out on the receiver to your TV's HDMI input. Use the AV receivers remote to switch between Input channels.
To have sound output from the TV, run either a SPDIF or Optical Fibre (TOSLINK) cable from the TV's Digital Audio out into the receivers Digital Audio In.