ps3_read_phys_ctr
u32 ps3_read_phys_ctr(u32 cpu, u32 phys_ctr);
EXPORT_SYMBOL_GPL(ps3_read_phys_ctr);
val = ps3_read_phys_ctr(cpu, phys_ctr);
phys_val = ps3_read_phys_ctr(cpu, phys_ctr);