mhpmcounter19h
Machine Hardware Performance Counter 19, Upper half
Upper half of mhpmcounter19.
Software read
This CSR may return a value that is different from what is stored in hardware.
if (HPM_COUNTER_EN[19]) {
return read_hpm_counter(19)[63:32];
} else {
return 0;
}