2013-12-12 16:46:30 +00:00
|
|
|
/*
|
2018-08-16 14:53:05 +01:00
|
|
|
* Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved.
|
2013-12-12 16:46:30 +00:00
|
|
|
*
|
2017-05-03 09:38:09 +01:00
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
2013-12-12 16:46:30 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
#include <stdio.h>
|
|
|
|
#include <console.h>
|
|
|
|
|
|
|
|
int putchar(int c)
|
|
|
|
{
|
|
|
|
int res;
|
|
|
|
if (console_putc((unsigned char)c) >= 0)
|
|
|
|
res = c;
|
|
|
|
else
|
|
|
|
res = EOF;
|
|
|
|
|
|
|
|
return res;
|
|
|
|
}
|