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);