Unsupported Configuration?

I have 7 devices connected to an AV receiver. 6 of them use a DirecTV receiver as their source. 1 is a TiVo connected to ATSC (digital tv over the air). I can't find a way to set this up which lets the receiver control the video switching while using the ATSC tuner in the TiVo.

Help?

Tom