void writef(char *fmt, ...) { va_list ap; va_start(ap, fmt); user_lp_Print(user_myoutput, 0, fmt, ap); va_end(ap); }
int fwritef(int fd, const char *fmt, ...) { char buf[512]; va_list ap; va_start(ap, fmt); user_lp_Print(user_out2string, buf, fmt, ap); va_end(ap); return write(fd, buf, strlen(buf)); }
void _user_panic(const char *file, int line, const char *fmt,...) { va_list ap; va_start(ap, fmt); writef("panic at %s:%d: ", file, line); user_lp_Print(user_myoutput, 0, (char *)fmt, ap); writef("\n"); va_end(ap); for(;;); }