stic_do_switch
static void stic_do_switch(void *);
stic_do_switch(si->si_curscreen);
callout_reset(&si->si_switch_callout, 0, stic_do_switch,
stic_do_switch(cookie);