kprintf.c File Reference

#include <kernel.h>
#include <stdarg.h>
#include <mutex.h>

Functions
syscall	kprintf (const char *format,...)