// Simple implementation of cprintf console output for the kernel,// based on printfmt() and the kernel console's cputchar().#include <inc/types.h>#include <inc/stdio.h>#include <inc/stdarg.h>static voidputch(int ch, int *cnt){	cputchar(ch);	*cnt++;}intvcprintf(const char *fmt, va_list ap){	int cnt = 0;	vprintfmt((void*)putch, &cnt, fmt, ap);	return cnt;}intcprintf(const char *fmt, ...){	va_list ap;	int cnt;	va_start(ap, fmt);	cnt = vcprintf(fmt, ap);	va_end(ap);	return cnt;}