TIMERn_CTRL_MODE_DOWN   66 drivers/clocksource/timer-efm32.c 		       TIMERn_CTRL_MODE_DOWN,
TIMERn_CTRL_MODE_DOWN   80 drivers/clocksource/timer-efm32.c 		       TIMERn_CTRL_MODE_DOWN,