14ecca339SDan Handley /* 273e05284SAntonio Nino Diaz * Copyright (c) 2013-2017, ARM Limited and Contributors. All rights reserved. 34ecca339SDan Handley * 4*82cb2c1aSdp-arm * SPDX-License-Identifier: BSD-3-Clause 54ecca339SDan Handley */ 64ecca339SDan Handley 74ecca339SDan Handley #ifndef __CONSOLE_H__ 84ecca339SDan Handley #define __CONSOLE_H__ 94ecca339SDan Handley 1002462972SJuan Castillo #include <stdint.h> 1102462972SJuan Castillo 1202462972SJuan Castillo int console_init(uintptr_t base_addr, 13462c8350SSoby Mathew unsigned int uart_clk, unsigned int baud_rate); 14487461cbSSoby Mathew void console_uninit(void); 154ecca339SDan Handley int console_putc(int c); 164ecca339SDan Handley int console_getc(void); 1773e05284SAntonio Nino Diaz int console_flush(void); 184ecca339SDan Handley 194ecca339SDan Handley #endif /* __CONSOLE_H__ */ 204ecca339SDan Handley 21