ETMTSEVR
case ETMTSEVR:
*val = etm_read(ETMTSEVR);
etm_write(val, ETMTSEVR);
etm_writel(drvdata, config->timestamp_event, ETMTSEVR);