Symbol: grub_vprintf
usr/src/grub/grub-0.97/stage2/char_io.c
1016
grub_vprintf(format, dataptr);
usr/src/grub/grub-0.97/stage2/char_io.c
1033
grub_vprintf(format, dataptr);