31 switch (
board_id() + CONFIG_BOARD_ID_ADJUSTMENT) {
53 if (
board_id() + CONFIG_BOARD_ID_ADJUSTMENT >= 7) {
72 if (
board_id() + CONFIG_BOARD_ID_ADJUSTMENT < 5)
84 switch (
board_id() + CONFIG_BOARD_ID_ADJUSTMENT) {
110 if (
board_id() + CONFIG_BOARD_ID_ADJUSTMENT > 3) {
118 if (
board_id() + CONFIG_BOARD_ID_ADJUSTMENT < 7)
122 if (
board_id() + CONFIG_BOARD_ID_ADJUSTMENT > 4 &&
123 board_id() + CONFIG_BOARD_ID_ADJUSTMENT < 7)
135 if (
board_id() + CONFIG_BOARD_ID_ADJUSTMENT > 4)
143 switch (
board_id() + CONFIG_BOARD_ID_ADJUSTMENT) {
167 if (
board_id() + CONFIG_BOARD_ID_ADJUSTMENT == 4)
174 if (
board_id() + CONFIG_BOARD_ID_ADJUSTMENT > 4)
188 if (
board_id() + CONFIG_BOARD_ID_ADJUSTMENT > 6) {
235 if (
board_id() + CONFIG_BOARD_ID_ADJUSTMENT < 5)
struct chip_operations mainboard_ops
int display_init_required(void)
#define printk(level,...)
void da9212_probe(uint8_t i2c_num)
void mdelay(unsigned int msecs)
@ MIPI_DSI_MODE_VIDEO_SYNC_PULSE
uint32_t board_id(void)
board_id() - Get the board version
struct fb_info * fb_new_framebuffer_info_from_edid(const struct edid *edid, uintptr_t fb_addr)
static void mainboard_init(struct device *dev)
static void configure_usb_hub(void)
static void configure_backlight(void)
static void configure_audio(void)
static void configure_touchscreen(void)
static void configure_display(void)
static int read_edid_from_ps8640(struct edid *edid)
static void display_startup(void)
static void configure_ext_buck(void)
static void configure_usb(void)
static void mainboard_enable(struct device *dev)
void edid_set_framebuffer_bits_per_pixel(struct edid *edid, int fb_bpp, int row_byte_alignment)
void gpio_output(gpio_t gpio, int value)
void gpio_input_pullup(gpio_t gpio)
#define BIOS_INFO
BIOS_INFO - Expected events.
#define BIOS_ERR
BIOS_ERR - System in incomplete state.
void mt6311_probe(uint8_t i2c_num)
void mt6391_configure_ldo(enum ldo_power ldo, enum ldo_voltage vsel)
void mt6391_gpio_output(u32 gpio, int value)
void mtk_ddp_mode_set(const struct edid *edid)
void mt_pll_set_aud_div(u32 rate)
void mtcmos_audio_power_on(void)
void mtcmos_display_power_on(void)
int ps8640_init(uint8_t bus, uint8_t chip)
int ps8640_get_edid(uint8_t bus, uint8_t chip, struct edid *out)
static const uintptr_t i2c_bus[]
void(* enable_dev)(struct device *dev)
void(* init)(struct device *dev)
struct device_operations * ops