coreboot-libre-fam15h-rdimm/3rdparty/arm-trusted-firmware/lib/libc/putchar.c

21 lines
300 B
C

/*
* Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*/
#include <stdio.h>
#include <drivers/console.h>
int putchar(int c)
{
int res;
if (console_putc((unsigned char)c) >= 0)
res = c;
else
res = EOF;
return res;
}