/* *---------------------------------------------------------------------- *    T-Kernel * *    Copyright (C) 2004-2006 by Ken Sakamura. All rights reserved. *    T-Kernel is distributed under the T-License. *---------------------------------------------------------------------- * *    Version:   1.02.02 *    Released by T-Engine Forum(http://www.t-engine.org) at 2006/8/9. * *---------------------------------------------------------------------- *//* *	@(#)bms_printf.c (libdbg) * *	printf() using monitor */#include <tm/tmonitor.h>#include <stdarg.h>extern int vsprintf( char *s, const char *format, va_list arg );EXPORT int bms_printf( const char *format, ... ){	char	buf[1024];	int	len;	va_list	ap;	va_start(ap, format);	len = vsprintf(buf, format, ap);	va_end(ap);	tm_putstring((UB*)buf);	return len;}