ps3_read_pm07_control
u32 ps3_read_pm07_control(u32 cpu, u32 ctr);
EXPORT_SYMBOL_GPL(ps3_read_pm07_control);