timer-efm32.c 6.71 KB