mdb_vprintf()
void mdb_vprintf(const char *format, va_list alist);
Behaves the same way as mdb_printf(). Instead of being called with a
variable number of arguments, mdb_vprintf() is called with an argument list
va_list as defined in the stdarg.h header file.