161f72a34SRoberto Vargas /* 24661abc7SAntonio Nino Diaz * Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved. 361f72a34SRoberto Vargas * 461f72a34SRoberto Vargas * SPDX-License-Identifier: BSD-3-Clause 561f72a34SRoberto Vargas */ 661f72a34SRoberto Vargas 761f72a34SRoberto Vargas #include <stdio.h> 809d40e0eSAntonio Nino Diaz 9*e0b6826eSClaus Pedersen int __putchar(int c) 1061f72a34SRoberto Vargas { 11*e0b6826eSClaus Pedersen return c; 1261f72a34SRoberto Vargas } 13*e0b6826eSClaus Pedersen 14*e0b6826eSClaus Pedersen int putchar(int c) __attribute__((weak,alias("__putchar"))); 15