EDP_LCDC_SEL
uint32_t write_mask = EDP_LCDC_SEL << 16;
uint32_t write_val = crtc_index == 0 ? EDP_LCDC_SEL : 0;