1*54fd6939SJiyong Park /* 2*54fd6939SJiyong Park * Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved. 3*54fd6939SJiyong Park * 4*54fd6939SJiyong Park * SPDX-License-Identifier: BSD-3-Clause 5*54fd6939SJiyong Park */ 6*54fd6939SJiyong Park 7*54fd6939SJiyong Park #include <stdio.h> 8*54fd6939SJiyong Park 9*54fd6939SJiyong Park #include <drivers/console.h> 10*54fd6939SJiyong Park putchar(int c)11*54fd6939SJiyong Parkint putchar(int c) 12*54fd6939SJiyong Park { 13*54fd6939SJiyong Park int res; 14*54fd6939SJiyong Park if (console_putc((unsigned char)c) >= 0) 15*54fd6939SJiyong Park res = c; 16*54fd6939SJiyong Park else 17*54fd6939SJiyong Park res = EOF; 18*54fd6939SJiyong Park 19*54fd6939SJiyong Park return res; 20*54fd6939SJiyong Park } 21