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