* SPDX-License-Identifier: GPL-2.0+
*/
-#include <config.h>
#include <common.h>
+#include <console.h>
#include <div64.h>
#include <inttypes.h>
#include <version.h>
void print_freq(uint64_t freq, const char *s)
{
unsigned long m = 0;
-#if defined(CONFIG_SPL_SERIAL_SUPPORT)
- unsigned long n;
-#endif
uint32_t f;
static const char names[] = {'G', 'M', 'K'};
unsigned long d = 1e9;
}
f = do_div(freq, d);
-#if defined(CONFIG_SPL_SERIAL_SUPPORT)
- n = freq;
-#endif
/* If there's a remainder, show the first few digits */
if (f) {
m = (m / 10) + (m % 100 >= 50);
}
-#if defined(CONFIG_SPL_SERIAL_SUPPORT)
- printf("%lu", n);
-#endif
+ printf("%lu", (unsigned long) freq);
if (m)
printf(".%ld", m);
printf(" %cHz%s", c, s);