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