get_hdmi_hpd_bit   14 core/usb_remote.h extern int get_hdmi_hpd_bit();
get_hdmi_hpd_bit   63 core/usb_sync.c             return get_hdmi_hpd_bit();