HDMI-вход, не реализован ни на одном из приведённых вами устройств.
Очевидно, что вам нужен видеосигнал не с ПК, а со стационарного устройства с HDMI-выходом, в данном случае возможно только использовать или специальное устройство или делать своё, например на базе карты захвата Blackmagic Decklink Mini Recorder и ПО ffmpeg или VLC.
Учтите, что если контент передаваемый по HDMI имеет защиту, например с BluRay видео дисков, то видеокарта захвата не будет его захватывать из за лицензионных ограничений.