ui_demo_timer_fun 804 uspace/app/uidemo/uidemo.c ui_demo_timer_fun, (void *)demo); ui_demo_timer_fun 1808 uspace/app/uidemo/uidemo.c ui_demo_timer_fun, (void *)demo);