TIMERn_CTRL        67 drivers/clocksource/timer-efm32.c 		       ddata->base + TIMERn_CTRL);
TIMERn_CTRL        81 drivers/clocksource/timer-efm32.c 		       ddata->base + TIMERn_CTRL);
TIMERn_CTRL       160 drivers/clocksource/timer-efm32.c 		       TIMERn_CTRL_MODE_UP, base + TIMERn_CTRL);