non-inlined versions of local_irq*

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