Rev 1787 | Rev 1868 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
void psthread_dec_sercount(void)
{
serialization_count--;
}
/** @}
*/