Symbol: ps3_set_ctr_size