Symbol: vfprintf
drivers/acpi/acpica/utprint.c
672
int vfprintf(FILE * file, const char *format, va_list args)
tools/include/nolibc/stdio.h
441
int vfprintf(FILE *stream, const char *fmt, va_list args)