Symbol: video_putc
sys/arch/bebox/stand/boot/boot.h
111
void video_putc(int);
sys/arch/bebox/stand/boot/cons.c
174
video_putc(c);