verrx              55 user/include/err.h void verrx(int exitcode, const char *fmt, __va_list);
verrx             163 user/lib/hostcompat/err.c 	verrx(exitcode, fmt, ap);
verrx              56 user/lib/hostcompat/host-err.h void verrx(int exitcode, const char *fmt, va_list);
verrx             189 user/lib/libc/unix/err.c 	verrx(exitcode, fmt, ap);