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