ps3_disable_pm_interrupts
void ps3_disable_pm_interrupts(u32 cpu);
EXPORT_SYMBOL_GPL(ps3_disable_pm_interrupts);