HDMI切り替え機、安いのだと自動切り替えがうまくいかないとかなんとかだったり、外部給電したほうがいいとかなんとかくらいしか知らない(買ったことはない)