HDMI_LCDC_SEL
const uint32_t write_mask = HDMI_LCDC_SEL << 16;
const uint32_t write_val = crtc_index == 0 ? HDMI_LCDC_SEL : 0;