arch/arm/src/efm32/efm32_timer.c: Fix a syslog format

This commit is contained in:
YAMAMOTO Takashi 2020-11-25 14:33:51 +09:00 committed by Xiang Xiao
parent 2e6c1bc8ad
commit e7b185f11c

View File

@ -229,8 +229,8 @@ int efm32_timer_set_freq(uintptr_t base, uint32_t clk_freq, uint32_t freq)
reload = (clk_freq / prescaler / freq);
tmrinfo("Source: %4xHz Div: %4x Reload: %4x \n", clk_freq, prescaler,
reload);
tmrinfo("Source: %4" PRIx32 "Hz Div: %4x Reload: %4x \n",
clk_freq, prescaler, reload);
putreg32(reload, base + EFM32_TIMER_TOP_OFFSET);