Rev 1705 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1705 | Rev 1730 | ||
---|---|---|---|
Line 37... | Line 37... | ||
37 | #include <arch/types.h> |
37 | #include <arch/types.h> |
38 | #include <arch.h> |
38 | #include <arch.h> |
39 | #include <time/clock.h> |
39 | #include <time/clock.h> |
40 | #include <ipc/sysipc.h> |
40 | #include <ipc/sysipc.h> |
41 | #include <arch/drivers/pic.h> |
41 | #include <arch/drivers/pic.h> |
- | 42 | #include <arch/mm/tlb.h> |
|
42 | 43 | ||
43 | 44 | ||
44 | void start_decrementer(void) |
45 | void start_decrementer(void) |
45 | { |
46 | { |
46 | asm volatile ( |
47 | asm volatile ( |
Line 92... | Line 93... | ||
92 | int_register(irq, "ipc_int", ipc_int); |
93 | int_register(irq, "ipc_int", ipc_int); |
93 | } |
94 | } |
94 | 95 | ||
95 | /** @} |
96 | /** @} |
96 | */ |
97 | */ |
97 | - |