hdmi_type
const char *hdmi_type;
&hdmi_type);
if (!strcmp(hdmi_type, "a") || !strcmp(hdmi_type, "c") ||
!strcmp(hdmi_type, "d") || !strcmp(hdmi_type, "e")) {
} else if (!strcmp(hdmi_type, "b")) {
hdmi_type);