void bmk_mainthread(void *cmdline) { struct rumprun_exec *rre; void *cookie; rumprun_boot(cmdline); rre = TAILQ_FIRST(&rumprun_execs); do { RUNMAIN(1); RUNMAIN(2); RUNMAIN(3); RUNMAIN(4); RUNMAIN(5); RUNMAIN(6); RUNMAIN(7); RUNMAIN(8); } while (/*CONSTCOND*/0); while ((cookie = rumprun_get_finished())) rumprun_wait(cookie); rumprun_reboot(); }
void bmk_mainthread(void *cmdline) { void *cookie; rumprun_boot(cmdline); RUNMAINS(); while ((cookie = rumprun_get_finished()) != NULL) rumprun_wait(cookie); rumprun_reboot(); }
int app_main(start_info_t *si) { void *cookie; rumprun_boot(get_config((char *)si->cmd_line)); RUNMAINS(); while ((cookie = rumprun_get_finished()) != NULL) rumprun_wait(cookie); rumprun_reboot(); }