lwkt_cpusync_t
lwkt_cpusync_remote2(lwkt_cpusync_t cs)
static void lwkt_cpusync_remote1(lwkt_cpusync_t cs);
static void lwkt_cpusync_remote2(lwkt_cpusync_t cs);
lwkt_cpusync_interlock(lwkt_cpusync_t cs)
lwkt_cpusync_deinterlock(lwkt_cpusync_t cs)
lwkt_cpusync_quick(lwkt_cpusync_t cs)
lwkt_cpusync_remote1(lwkt_cpusync_t cs)
void lwkt_cpusync_interlock(lwkt_cpusync_t);
void lwkt_cpusync_deinterlock(lwkt_cpusync_t);
void lwkt_cpusync_quick(lwkt_cpusync_t);
lwkt_cpusync_init(lwkt_cpusync_t cs, cpumask_t mask,