Anyone know why on ppc32 we have non-inlined versions of: extern void local_irq_enable(void); extern void local_irq_disable(void); extern void local_irq_restore(unsigned long); extern void local_save_flags_ptr(unsigned long *); From looking at the code they are never used. Just wondering if this was for debug or some other reason. - kumar