18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci#include <asm/setup.h> 38c2ecf20Sopenharmony_ci 48c2ecf20Sopenharmony_civoid putc(char c) 58c2ecf20Sopenharmony_ci{ 68c2ecf20Sopenharmony_ci prom_putchar(c); 78c2ecf20Sopenharmony_ci} 8