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() {