6 #include <soc/pei_wrapper.h>
void console_tx_byte(unsigned char byte)
#define ACPI_BASE_ADDRESS
#define GPIO_BASE_ADDRESS
void broadwell_fill_pei_data(struct pei_data *pei_data)
static void ABI_X86 send_to_console(unsigned char b)
enum board_type board_type