get_hdmi_hpd_bit 20 platform/g7x/kbd.c int get_hdmi_hpd_bit() { get_hdmi_hpd_bit 22 platform/ixus115_elph100hs/kbd.c int get_hdmi_hpd_bit() { get_hdmi_hpd_bit 21 platform/sx160is/kbd.c int get_hdmi_hpd_bit() { get_hdmi_hpd_bit 19 platform/sx710hs/kbd.c int get_hdmi_hpd_bit() { get_hdmi_hpd_bit 20 platform/sx730hs/kbd.c int get_hdmi_hpd_bit() {