| Gabor Ambrus | 54a1008 | 2023-08-14 21:56:06 +0200 | [diff] [blame^] | 1 | /* |
| 2 | * Copyright (c) 2017-2023, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | * |
| 6 | * This is a modified version of the uart platform driver from trusted-firmware-a. |
| 7 | * The code has been modified to allow the peripheral to be accessed by S-EL0 at |
| 8 | * an arbitrary virtual address. |
| 9 | */ |
| 10 | |
| 11 | #ifndef UART_DECL_H |
| 12 | #define UART_DECL_H |
| 13 | |
| 14 | #include <stdint.h> |
| 15 | |
| 16 | int uart_deinit(uintptr_t addr); |
| 17 | int uart_init(uintptr_t addr); |
| 18 | void uflush(uintptr_t addr); |
| 19 | void uputc(uint8_t ch, uintptr_t addr); |
| 20 | |
| 21 | #endif /* UART_DECL_H */ |