ps3_get_ctr_size
u32 ps3_get_ctr_size(u32 cpu, u32 phys_ctr);
if (ps3_get_ctr_size(cpu, phys_ctr) == 16)
if (ps3_get_ctr_size(cpu, phys_ctr) == 16) {
EXPORT_SYMBOL_GPL(ps3_get_ctr_size);