Module hpmcounter8h
riscv2::register
Upper 32 bits of performance-monitoring counter (RV32I only)
Reads the CSR