#ifndef KPRINTF_H__
#define KPRINTF_H__


void kprintf(char *fmt, ...);
void panic(char *s);

#endif