int run(void) { /* if the base_prio attribute is set, use it */ if (&base_prio != NULL) { VM_PRIO = base_prio; } return main_continued(); }
void run(void) { main_continued(); }