TRCEVENTCTL1R
CHECKREG(TRCEVENTCTL1R, eventctrl1);
state->trceventctl1r = etm4x_read32(csa, TRCEVENTCTL1R);
etm4x_relaxed_write32(csa, state->trceventctl1r, TRCEVENTCTL1R);
etm4x_relaxed_write32(csa, config->eventctrl1, TRCEVENTCTL1R);
CASE_##op((val), TRCEVENTCTL1R) \