ps3_set_ctr_size
void ps3_set_ctr_size(u32 cpu, u32 phys_ctr, u32 ctr_size);
EXPORT_SYMBOL_GPL(ps3_set_ctr_size);