vga_burner        236 dev/ic/vga.c   void	vga_burner(void *v, u_int on, u_int flags);
vga_burner        250 dev/ic/vga.c   	vga_burner