CSR_HPMCOUNTER31
(csr > CSR_HPMCOUNTER31 && csr < CSR_CYCLEH)) {
__GUEST_ASSERT((csr_num >= CSR_CYCLE && csr_num <= CSR_HPMCOUNTER31),