Symbol: VCPU_STATUS_REG
usr/src/uts/common/io/bge/bge_chip2.c
3204
bge_reg_set32(bgep, VCPU_STATUS_REG, VCPU_DRV_RESET);
usr/src/uts/common/io/bge/bge_chip2.c
3768
val = bge_reg_get32(bgep, VCPU_STATUS_REG);