void printk(const char *format, ...) { va_list arg; int done; va_start(arg, format); vfprintk(buf, format, arg); va_end(arg); }
void fatal(const char *format, ...) { va_list ap; DEBUG_printk("Error in %s on line %d\n", __FILE__, __LINE__); va_start(ap, format); vfprintk(stderr, format, ap); va_end(ap); EXIT(EXIT_FAILURE); }