| /kernel/trunk/arch/ppc64/src/interrupt.c |
|---|
| 31,7 → 31,7 |
| #include <arch/types.h> |
| #include <arch.h> |
| #include <time/clock.h> |
| #include <print.h> |
| #include <ipc/sysipc.h> |
| void start_decrementer(void) |
| 38,7 → 38,8 |
| { |
| asm volatile ( |
| "mtdec %0\n" |
| :: "r" (1000) |
| : |
| : "r" (1000) |
| ); |
| } |
| 55,3 → 56,11 |
| { |
| exc_register(VECTOR_DECREMENTER, "timer", exception_decrementer); |
| } |
| /* Reregister irq to be IPC-ready */ |
| void irq_ipc_bind_arch(__native irq) |
| { |
| panic("not implemented\n"); |
| /* TODO */ |
| } |