Symbol: BGE_VCPU_EXT_CTRL
sys/dev/bge/if_bge.c
4092
val = CSR_READ_4(sc, BGE_VCPU_EXT_CTRL);
sys/dev/bge/if_bge.c
4093
CSR_WRITE_4(sc, BGE_VCPU_EXT_CTRL,