Rev 3906 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3906 | Rev 3913 | ||
|---|---|---|---|
| Line 39... | Line 39... | ||
| 39 | #include <arch/cp0.h> |
39 | #include <arch/cp0.h> |
| 40 | #include <time/clock.h> |
40 | #include <time/clock.h> |
| 41 | #include <ipc/sysipc.h> |
41 | #include <ipc/sysipc.h> |
| 42 | #include <ddi/device.h> |
42 | #include <ddi/device.h> |
| 43 | 43 | ||
| 44 | #define IRQ_COUNT 8 |
44 | #define IRQ_COUNT 8 |
| 45 | #define TIMER_IRQ 7 |
45 | #define TIMER_IRQ 7 |
| - | 46 | #define DORDER_IRQ 5 |
|
| 46 | 47 | ||
| 47 | function virtual_timer_fnc = NULL; |
48 | function virtual_timer_fnc = NULL; |
| 48 | static irq_t timer_irq; |
49 | static irq_t timer_irq; |
| 49 | 50 | ||
| 50 | /** Disable interrupts. |
51 | /** Disable interrupts. |