From e3305e8f7c119c83fd04f1995e07ff71a1110887 Mon Sep 17 00:00:00 2001 From: Franklin Wei Date: Wed, 11 Feb 2015 17:13:26 -0500 Subject: optimize interrupt performance --- kernel/timer.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'kernel/timer.c') diff --git a/kernel/timer.c b/kernel/timer.c index 7bdc1f9..bdf48eb 100644 --- a/kernel/timer.c +++ b/kernel/timer.c @@ -1,4 +1,5 @@ #include +#include #include "io.h" #include "isr.h" #include "timer.h" @@ -7,7 +8,7 @@ volatile uint64_t current_tick_data = 0; volatile const uint64_t *current_tick = ¤t_tick_data; -static void timer_callback(struct regs_t regs) +static void timer_callback(struct regs_t *regs) { (void) regs; ++current_tick_data; @@ -15,6 +16,7 @@ static void timer_callback(struct regs_t regs) void timer_init(uint32_t freq) { + printf("Timer init"); set_interrupt_handler(IRQ(0), timer_callback); current_tick_data = 0; -- cgit v1.1