BGE_VCPU_STATUS
status = CSR_READ_4(sc, BGE_VCPU_STATUS);
CSR_WRITE_4(sc, BGE_VCPU_STATUS,
val = CSR_READ_4(sc, BGE_VCPU_STATUS);