vgacnputchar
void vgacnputchar(void *, register int);
vgacnprobe, vgacninit, vgacngetchar, vgacnputchar, vgacnscan },
void vgacnputchar(void *, int);
vgacnprobe, vgacninit, vgacngetchar, vgacnputchar, vgacnscan },