// SPDX-License-Identifier: GPL-2.0 #include "ddk750_reg.h" #include "ddk750_chip.h" #include "ddk750_display.h" #include "ddk750_power.h" #include "ddk750_dvi.h" static void set_display_control(int ctrl, int disp_state) { … } static void primary_wait_vertical_sync(int delay) { … } static void sw_panel_power_sequence(int disp, int delay) { … } void ddk750_set_logical_disp_out(enum disp_output output) { … }