/* SPDX-License-Identifier: GPL-2.0-or-later */ #include #include #include #define SERIAL1_DEV PNP_DEV(0x2e, IT8613E_SP1) #define GPIO_DEV PNP_DEV(0x2e, IT8613E_GPIO) void bootblock_mainboard_early_init(void) { ite_reg_write(GPIO_DEV, 0x2c, 0x41); /* disable K8 power seq */ ite_reg_write(GPIO_DEV, 0x2d, 0x02); /* PCICLK 25MHz */ ite_enable_serial(SERIAL1_DEV, CONFIG_TTYS0_BASE); }