configure: Rename ENABLE_PS3 to PLATFORM_PS3

[petitboot] / ui / common / timer.c

diff --git a/ui/common/timer.c b/ui/common/timer.c
index 3d808987e3cc76d6f170406f50153089840f76a2..23c3e623df7006f318cd5f5322fc65cf3976f830 100644 (file)
--- a/ui/common/timer.c
+++ b/ui/common/timer.c
@@ -35,7 +35,7 @@
 void ui_timer_init(struct waitset *waitset, struct ui_timer *timer,
                unsigned int seconds)
 {
-       pb_log("%s: %u\n", __func__, seconds);
+       pb_log_fn("%u\n", seconds);
        timer->timeout = seconds;
        timer->waitset = waitset;
 }
@@ -49,7 +49,7 @@ static int timer_cb(void *arg)
        struct ui_timer *timer = arg;
 
        timer->handle_timeout(timer);
-       timer->waiter = 0;
+       timer->waiter = NULL;
        return 0;
 }