ETM_DEVARCH_ID_MASK
switch (devarch & ETM_DEVARCH_ID_MASK) {
if ((devarch & ETM_DEVARCH_ID_MASK) != ETM_DEVARCH_ETMv4x_ARCH) {
.devarch_mask = ETM_DEVARCH_ID_MASK,