ps3_enable_pm_interrupts
void ps3_enable_pm_interrupts(u32 cpu, u32 thread, u32 mask);
EXPORT_SYMBOL_GPL(ps3_enable_pm_interrupts);