2013-10-25 09:08:21 +01:00
|
|
|
/*
|
2017-02-06 16:03:41 +00:00
|
|
|
* Copyright (c) 2013-2017, ARM Limited and Contributors. All rights reserved.
|
2013-10-25 09:08:21 +01:00
|
|
|
*
|
2017-05-03 09:38:09 +01:00
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
2013-10-25 09:08:21 +01:00
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef __CONSOLE_H__
|
|
|
|
#define __CONSOLE_H__
|
|
|
|
|
2014-09-09 09:49:23 +01:00
|
|
|
#include <stdint.h>
|
|
|
|
|
|
|
|
int console_init(uintptr_t base_addr,
|
2014-07-14 15:43:21 +01:00
|
|
|
unsigned int uart_clk, unsigned int baud_rate);
|
2015-10-28 10:29:42 +00:00
|
|
|
void console_uninit(void);
|
2013-10-25 09:08:21 +01:00
|
|
|
int console_putc(int c);
|
|
|
|
int console_getc(void);
|
2017-02-06 16:03:41 +00:00
|
|
|
int console_flush(void);
|
2013-10-25 09:08:21 +01:00
|
|
|
|
|
|
|
#endif /* __CONSOLE_H__ */
|
|
|
|
|