What is the architectural intention for a bit in 'mcounteren' that corresponds to an unsupported hpmcounter (i.e. the hpmcounter register is hardwired to zero)? Can or should this counteren bit also be hardwired to zero, or must it still be writable by software (so as to allow U/S-mode software to read the
hpmcounter
register successfully and get a hardwired zero)?
The definitions for scounteren and hcounteren define these bits as WARL, clearly allowing them to be hardwired to 0. But mcounteren in contrast does not declare these bits to be WARL.
