1 files changed, 1 insertions, 1 deletions
diff --git a/kern/timer.c b/kern/timer.c
index 6ee9a101..47b834cf 100644
--- a/kern/timer.c
+++ b/kern/timer.c
@@ -147,7 +147,7 @@ unsigned ts;
  *	user mode.
  */
 void
-time_trap_uexit(ts)
+time_trap_uexit(int ts)
 {
 	int	elapsed;
 	int	mycpu;