ktr_resync_remote
static void ktr_resync_remote(void *dummy);
lwkt_cpusync_init(&cs, smp_active_mask, ktr_resync_remote,