Symbol: BGE_VCPU_STATUS
sys/dev/pci/if_bge.c
3349
val = CSR_READ_4(sc, BGE_VCPU_STATUS);
sys/dev/pci/if_bge.c
3350
CSR_WRITE_4(sc, BGE_VCPU_STATUS,
sys/dev/pci/if_bge.c
3443
val = CSR_READ_4(sc, BGE_VCPU_STATUS);