1 /* 2 * Copyright (c) 2013-2017, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef __CONSOLE_H__ 8 #define __CONSOLE_H__ 9 10 #include <stdint.h> 11 12 int console_init(uintptr_t base_addr, 13 unsigned int uart_clk, unsigned int baud_rate); 14 void console_uninit(void); 15 int console_putc(int c); 16 int console_getc(void); 17 int console_flush(void); 18 19 #endif /* __CONSOLE_H__ */ 20 21