With an HDMI cable from your PS3 to the HDMI2 on your tv?
With an HDMI cable to an input on your avr? You don't have another HDMI input on the AVR for the PS3 to plug into?
"I realize that somebody playing free music isn't as commercial as a hamburger stand. But is it because you can eat a hamburger and hold it in your hand and you can't do that with music? Is it too free to control?" - Don Van Vliet (aka Captain Beefheart) discussing commercial success in the music biz