11bb92983SJerome Forissier // SPDX-License-Identifier: BSD-2-Clause 2ccfa173bSJerome Forissier /* 3ccfa173bSJerome Forissier * Copyright (c) 2015, Linaro Limited 4ccfa173bSJerome Forissier */ 5ccfa173bSJerome Forissier 6ccfa173bSJerome Forissier #include <console.h> 7ccfa173bSJerome Forissier #include <drivers/hi16xx_uart.h> 8ccfa173bSJerome Forissier #include <kernel/panic.h> 9ccfa173bSJerome Forissier #include <mm/tee_pager.h> 10ccfa173bSJerome Forissier #include <mm/core_memprot.h> 11ccfa173bSJerome Forissier #include <platform_config.h> 12ccfa173bSJerome Forissier #include <stdint.h> 13ccfa173bSJerome Forissier 1423660121SJerome Forissier static struct hi16xx_uart_data console_data; 15ed7617dfSJerome Forissier 16a5e82dc7SJerome Forissier register_phys_mem_pgdir(MEM_AREA_IO_NSEC, CONSOLE_UART_BASE, 17a5e82dc7SJerome Forissier HI16XX_UART_REG_SIZE); 18ccfa173bSJerome Forissier plat_console_init(void)19*55ab8f06SAlvin Changvoid plat_console_init(void) 20ccfa173bSJerome Forissier { 21ed7617dfSJerome Forissier hi16xx_uart_init(&console_data, CONSOLE_UART_BASE, 22ed7617dfSJerome Forissier CONSOLE_UART_CLK_IN_HZ, CONSOLE_BAUDRATE); 23756aea59SJerome Forissier register_serial_console(&console_data.chip); 24ccfa173bSJerome Forissier } 25