schedcpu
static void schedcpu (void *arg);
schedcpu(NULL);
callout_reset(&mycpu->gd_schedcpu_callout, hz, schedcpu, NULL);