ETMPDSR
case ETMPDSR:
*val = etm_read(ETMPDSR);
etm_write(val, ETMPDSR);
(void)etm_readl(drvdata, ETMPDSR);