view target-utils/libprintf/vprintf.c @ 627:42c91c51ca7f

rvinterf: display GPF packets as "GPF" rather than "G23"
author Michael Spacefalcon <msokolov@ivan.Harhan.ORG>
date Mon, 01 Sep 2014 06:23:38 +0000
parents 40f607bb0a2c
children
line wrap: on
line source

#include <stdarg.h>

extern void putchar();

int
vprintf(fmt, ap)
	char *fmt;
	va_list ap;
{
	return(_doprnt(fmt, ap, &putchar));
}