void ubik_dprint(const char *format, ...) { va_list ap; va_start(ap, format); vViceLog(5, (format, ap)); va_end(ap); }
/*@printflike@*/ void Log(const char *format, ...) { va_list args; va_start(args, format); vViceLog(0, (format, args)); va_end(args); }
/*@printflike@*/ void Abort(const char *format, ...) { va_list args; ViceLog(0, ("Program aborted: ")); va_start(args, format); vViceLog(0, (format, args)); va_end(args); abort(); }
/*@printflike@*/ void Log(const char *format, ...) { int level; va_list args; if (Statistics) level = -1; else level = 0; va_start(args, format); vViceLog(level, (format, args)); va_end(args); }
void ubik_vprint(const char *format, va_list ap) { vViceLog(0, (format, ap)); }