Symbol: vga_puts
sys/arch/bebox/stand/boot/boot.h
100
void vga_puts(char *);
sys/arch/prep/stand/boot/boot.h
84
void vga_puts(char *);
sys/arch/rs6000/stand/boot/boot.h
67
void vga_puts(char *);