ETMAUXCR
case ETMAUXCR:
*val = etm_read(ETMAUXCR);
etm_write(val, ETMAUXCR);
etm_writel(drvdata, 0x0, ETMAUXCR);