Changes in kernel/arch/ppc32/include/arch/interrupt.h [6ecf5b8:0c91cff] in mainline

File:

• kernel/arch/ppc32/include/arch/interrupt.h (modified) (1 diff)

kernel/arch/ppc32/include/arch/interrupt.h

@@ -49 +49 @@
 #define VECTOR_DTLB_MISS_STORE      15
 
-extern void start_decrementer(void);
+extern void decrementer_start(uint32_t);
+extern void decrementer_restart(void);
 extern void interrupt_init(void);
 extern void extint_handler(unsigned int, istate_t *);