Symbol: VGAINIT0
sys/dev/pci/voodoofb.c
1626
voodoo3_write32(sc, VGAINIT0, 4928);
sys/dev/pci/voodoofb.c
1669
vgainit0 = voodoo3_read32(sc, VGAINIT0);
sys/dev/pci/voodoofb.c
1691
voodoo3_write32(sc, VGAINIT0, vgainit0);