-/**
- * ps3_timer_update - Timer callback.
- */
-
-static void ps3_timer_update(struct ui_timer *timer, unsigned int timeout)
-{
- struct ps3_cui *ps3 = ps3_from_cui(cui_from_timer(timer));
-
- //FIXME: make scr:timer.
- // nc_scr_timer_update(&ps3.mm->scr, timeout);
-
- nc_scr_status_printf(&ps3->mm->scr,
- "Welcome to Petitboot (timeout %u sec)", timeout);
-}
-