From 93fab00d1ecc816d0b3ca33cff2e91d6f8e660d6 Mon Sep 17 00:00:00 2001 From: Matheus Date: Wed, 28 Jan 2026 16:08:47 -0300 Subject: [PATCH] hpet: fix print --- kernel-src/arch/x86-64/hpet.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel-src/arch/x86-64/hpet.c b/kernel-src/arch/x86-64/hpet.c index 58914567..de97cd48 100644 --- a/kernel-src/arch/x86-64/hpet.c +++ b/kernel-src/arch/x86-64/hpet.c @@ -109,7 +109,7 @@ static timekeeper_source_info_t *hpet_init(void) { uint64_t capabilities = read64(HPET_REG_CAPS); timekeeper_source_info.hz = 1000000000000000lu / HPET_CAP_FSPERTICK(capabilities); - printf("hpet%lu: %lu ticks per us (%lu hz)\n", table->number, timekeeper_source_info.hz, HPET_CAP_FSPERTICK(capabilities)); + printf("hpet%lu: %lu hz\n", table->number, timekeeper_source_info.hz); __assert(timekeeper_source_info.hz); write64(HPET_REG_CONFIG, 0);