2 * Copyright 2007 Free Software Foundation, Inc.
4 * This program is free software: you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License as published by
6 * the Free Software Foundation, either version 3 of the License, or
7 * (at your option) any later version.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
14 * You should have received a copy of the GNU General Public License
15 * along with this program. If not, see <http://www.gnu.org/licenses/>.
19 #include "memory_map.h"
21 #include "buffer_pool.h"
26 #define DELTA_T 500 // 5 us (10ns per tick)
30 timer_handler(unsigned irq)
32 int t = timer_regs->time;
33 timer_regs->time = t + DELTA_T;
46 putstr("Setting up timer\n");
47 pic_register_handler(IRQ_TIMER, timer_handler);
49 int t = timer_regs->time;
50 timer_regs->time = t + DELTA_T;
55 putstr("Done Testing\n");