/* Get cache monitor event counter value from CMCC module.  */
uint32_t _cmcc_get_monitor_event_count(const void *hw)
/* Get cache monitor event counter value from CMCC module.  */
uint32_t _cmcc_get_monitor_event_count(const void *hw)
{
	return hri_cmcc_read_MSR_reg(hw);
}