Rev 1007 | Rev 1267 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1007 | Rev 1265 | ||
---|---|---|---|
Line 30... | Line 30... | ||
30 | #include <arch/interrupt.h> |
30 | #include <arch/interrupt.h> |
31 | #include <arch/types.h> |
31 | #include <arch/types.h> |
32 | #include <arch.h> |
32 | #include <arch.h> |
33 | #include <time/clock.h> |
33 | #include <time/clock.h> |
34 | #include <print.h> |
34 | #include <print.h> |
35 | - | ||
- | 35 | #include <ipc/sysipc.h> |
|
36 | 36 | ||
37 | void start_decrementer(void) |
37 | void start_decrementer(void) |
38 | { |
38 | { |
39 | asm volatile ( |
39 | asm volatile ( |
40 | "mtdec %0\n" |
40 | "mtdec %0\n" |
Line 53... | Line 53... | ||
53 | /* Initialize basic tables for exception dispatching */ |
53 | /* Initialize basic tables for exception dispatching */ |
54 | void interrupt_init(void) |
54 | void interrupt_init(void) |
55 | { |
55 | { |
56 | exc_register(VECTOR_DECREMENTER, "timer", exception_decrementer); |
56 | exc_register(VECTOR_DECREMENTER, "timer", exception_decrementer); |
57 | } |
57 | } |
- | 58 | ||
- | 59 | /* Reregister irq to be IPC-ready */ |
|
- | 60 | void irq_ipc_bind_arch(__native irq) |
|
- | 61 | { |
|
- | 62 | panic("not implemented\n"); |
|
- | 63 | /* TODO */ |
|
- | 64 | } |