lwkt_cpusync_deinterlock
lwkt_cpusync_deinterlock(&cs);
void lwkt_cpusync_deinterlock(lwkt_cpusync_t);