localcount_xc
xc_wait(xc_broadcast(0, &localcount_xc, lc, interlock));
static void localcount_xc(void *, void *);