run_switch 55 uspace/app/sbi/src/run.c static void run_switch(run_t *run, stree_switch_t *switch_s); run_switch 313 uspace/app/sbi/src/run.c run_switch(run, stat->u.switch_s);