From 1a5248bb177242a34fd51efadb4af941853d5e35 Mon Sep 17 00:00:00 2001
From: Kimplul <kimi.h.kuparinen@gmail.com>
Date: Thu, 21 Apr 2022 19:38:45 +0300
Subject: use uint64_t for timer ticks

+ GCC seems to provide this even on 32bit platforms, though I should
  really check.
---
 arch/riscv64/kernel/timer.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'arch/riscv64')

diff --git a/arch/riscv64/kernel/timer.c b/arch/riscv64/kernel/timer.c
index cad811d..b6d828e 100644
--- a/arch/riscv64/kernel/timer.c
+++ b/arch/riscv64/kernel/timer.c
@@ -1,6 +1,6 @@
 #include <arch/timer.h>
 
-ticks_t stat_timer()
+ticks_t stat_timer(const void *fdt)
 {
 	/* TODO: read from fdt */
 	return 0;
-- 
cgit v1.3