case HDMI_INFOFRAME_TYPE_VENDOR:
                return VIDEO_DIP_SELECT_VENDOR;
        default:
-               DRM_DEBUG_DRIVER("unknown info frame type %d\n", type);
+               MISSING_CASE(type);
                return 0;
        }
 }
        case HDMI_INFOFRAME_TYPE_VENDOR:
                return VIDEO_DIP_ENABLE_VENDOR;
        default:
-               DRM_DEBUG_DRIVER("unknown info frame type %d\n", type);
+               MISSING_CASE(type);
                return 0;
        }
 }
        case HDMI_INFOFRAME_TYPE_VENDOR:
                return VIDEO_DIP_ENABLE_VS_HSW;
        default:
-               DRM_DEBUG_DRIVER("unknown info frame type %d\n", type);
+               MISSING_CASE(type);
                return 0;
        }
 }
        case HDMI_INFOFRAME_TYPE_VENDOR:
                return HSW_TVIDEO_DIP_VS_DATA(cpu_transcoder, i);
        default:
-               DRM_DEBUG_DRIVER("unknown info frame type %d\n", type);
+               MISSING_CASE(type);
                return INVALID_MMIO_REG;
        }
 }
        u32 val = I915_READ(ctl_reg);
 
        data_reg = hsw_dip_data_reg(dev_priv, cpu_transcoder, type, 0);
-       if (i915_mmio_reg_valid(data_reg))
-               return;
 
        val &= ~hsw_infoframe_enable(type);
        I915_WRITE(ctl_reg, val);