pc_sprod_leave
pc_sprod_leave(&spc->spc_cp_time_lock, gen);
pc_sprod_leave(&c->c_lock, gen);
pc_sprod_leave(&pfstlim->pfstlim_lock, gen);
pc_sprod_leave(&pfsrlim->pfsrlim_lock, gen);
void pc_sprod_leave(struct pc_lock *, unsigned int);
pc_sprod_leave(&tu->tu_pcl, gen);