ps3_write_phys_ctr
void ps3_write_phys_ctr(u32 cpu, u32 phys_ctr, u32 val);
EXPORT_SYMBOL_GPL(ps3_write_phys_ctr);
ps3_write_phys_ctr(cpu, phys_ctr, val);