efm32_timer_init 283 drivers/clocksource/timer-efm32.c TIMER_OF_DECLARE(efm32compat, "efm32,timer", efm32_timer_init); efm32_timer_init 284 drivers/clocksource/timer-efm32.c TIMER_OF_DECLARE(efm32, "energymicro,efm32-timer", efm32_timer_init);