TRCCIDCCTLR1
CHECKREG(TRCCIDCCTLR1, ctxid_mask1);
state->trccidcctlr1 = etm4x_read32(csa, TRCCIDCCTLR1);
etm4x_relaxed_write32(csa, state->trccidcctlr1, TRCCIDCCTLR1);
etm4x_relaxed_write32(csa, config->ctxid_mask1, TRCCIDCCTLR1);
CASE_##op((val), TRCCIDCCTLR1) \