Module hpmcounter26
riscv::register
Performance-monitoring counter
Reads the CSR
Reads the CSR as a 64-bit value