Symbol: VGE_INTCTL1
sys/dev/vge/if_vge.c
2737
intctl = CSR_READ_1(sc, VGE_INTCTL1);
sys/dev/vge/if_vge.c
2748
CSR_WRITE_1(sc, VGE_INTCTL1, intctl);