| /* |
| * Copyright (c) 2020-2023, ARM Limited and Contributors. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| |
| #include <assert.h> |
| |
| #include <platform_def.h> |
| |
| #include <common/debug.h> |
| #include <drivers/arm/pl011.h> |
| #include <drivers/console.h> |
| #include <fconf_hw_config_getter.h> |
| #include <plat/arm/common/plat_arm.h> |
| |
| static console_t fvp_runtime_console; |
| |
| /* Initialize the runtime console */ |
| void arm_console_runtime_init(void) |
| { |
| uintptr_t uart_base; |
| uint32_t uart_clk; |
| |
| /* |
| * fconf APIs are not supported for RESET_TO_SP_MIN, RESET_TO_BL31 and |
| * RESET_TO_BL2 systems. |
| */ |
| #if RESET_TO_SP_MIN || RESET_TO_BL31 || RESET_TO_BL2 |
| uart_base = PLAT_ARM_RUN_UART_BASE; |
| uart_clk = PLAT_ARM_RUN_UART_CLK_IN_HZ; |
| #else |
| uart_base = FCONF_GET_PROPERTY(hw_config, uart_serial_config, |
| uart_base); |
| uart_clk = FCONF_GET_PROPERTY(hw_config, uart_serial_config, |
| uart_clk); |
| #endif |
| |
| int rc = console_pl011_register(uart_base, uart_clk, |
| ARM_CONSOLE_BAUDRATE, |
| &fvp_runtime_console); |
| |
| if (rc == 0) { |
| panic(); |
| } |
| |
| console_set_scope(&fvp_runtime_console, CONSOLE_FLAG_RUNTIME); |
| } |
| |
| void arm_console_runtime_end(void) |
| { |
| console_flush(); |
| (void)console_unregister(&fvp_runtime_console); |
| } |