//kernel/trunk/arch/ppc32/include/asm.h |
---|
40,7 → 40,7 |
* @return Old interrupt priority level. |
*/ |
static inline ipl_t interrupts_enable(void) { |
ipl_t v = 0; |
ipl_t v; |
ipl_t tmp; |
asm volatile ( |
//kernel/trunk/arch/ppc32/src/interrupt.c |
---|
38,7 → 38,8 |
{ |
asm volatile ( |
"mtdec %0\n" |
:: "r" (1000) |
: |
: "r" (1000) |
); |
} |
56,6 → 57,7 |
exc_register(VECTOR_DECREMENTER, "timer", exception_decrementer); |
} |
/* Reregister irq to be IPC-ready */ |
void irq_ipc_bind_arch(__native irq) |
{ |