| /* | |
| * Copyright (c) 2013-2017, ARM Limited and Contributors. All rights reserved. | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| */ | |
| #ifndef __CONSOLE_H__ | |
| #define __CONSOLE_H__ | |
| #include <stdint.h> | |
| int console_init(uintptr_t base_addr, | |
| unsigned int uart_clk, unsigned int baud_rate); | |
| void console_uninit(void); | |
| int console_putc(int c); | |
| int console_getc(void); | |
| int console_flush(void); | |
| #endif /* __CONSOLE_H__ */ | |