ETMv4_MAX_CNTR
(offset <= TRCCNTVRn((ETMv4_MAX_CNTR - 1)))) {
u32 cntrldvr[ETMv4_MAX_CNTR]; /* TRCCNTRLDVRn */
u32 cntr_ctrl[ETMv4_MAX_CNTR]; /* TRCCNTCTLRn */
u32 cntr_val[ETMv4_MAX_CNTR]; /* TRCCNTVRn */
u32 trccntrldvr[ETMv4_MAX_CNTR];
u32 trccntctlr[ETMv4_MAX_CNTR];
u32 trccntvr[ETMv4_MAX_CNTR];
u32 cntr_val[ETMv4_MAX_CNTR];