ps3_write_pm07_control
void ps3_write_pm07_control(u32 cpu, u32 ctr, u32 val);
EXPORT_SYMBOL_GPL(ps3_write_pm07_control);