1 /*
2  * Copyright (c) 2015-2024, Arm Limited and Contributors. All rights reserved.
3  * Copyright (c) 2024, Mario Bălănică <[email protected]>
4  *
5  * SPDX-License-Identifier: BSD-3-Clause
6  */
7 
8 #include <drivers/arm/pl011.h>
9 #include <drivers/console.h>
10 #include <platform_def.h>
11 
12 #include <rpi_shared.h>
13 
rpi3_register_used_uart(console_t * console)14 int rpi3_register_used_uart(console_t *console)
15 {
16 	return console_pl011_register(PLAT_RPI_PL011_UART_BASE,
17 				      PLAT_RPI_PL011_UART_CLOCK,
18 				      PLAT_RPI_UART_BAUDRATE,
19 				      console);
20 }
21