hce_launch_checks
hce_launch_checks(-1, EV_TIMEOUT, env);
void hce_launch_checks(int, short, void *);
evtimer_set(&env->sc_ev, hce_launch_checks, env);