void loop() { do_send(&sendjob); while(1) { os_runloop_once(); } }
// execute jobs from timer and from run queue void os_runloop () { while(1) { os_runloop_once(); } }