diff options
Diffstat (limited to 'src/lib')
-rw-r--r-- | src/lib/hardwaremain.c | 2 | ||||
-rw-r--r-- | src/lib/thread.c | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/lib/hardwaremain.c b/src/lib/hardwaremain.c index e45ac9fe16..714452df20 100644 --- a/src/lib/hardwaremain.c +++ b/src/lib/hardwaremain.c @@ -283,7 +283,7 @@ static void bs_call_callbacks(struct boot_state *state, bscb->callback(bscb->arg); if (CONFIG(DEBUG_BOOT_STATE)) { timer_monotonic_get(&mt_stop); - printk(BIOS_DEBUG, "BS: callback (%p) @ %s (%ld ms).\n", bscb, + printk(BIOS_DEBUG, "BS: callback (%p) @ %s (%lld ms).\n", bscb, bscb_location(bscb), mono_time_diff_microseconds(&mt_start, &mt_stop) / USECS_PER_MSEC); diff --git a/src/lib/thread.c b/src/lib/thread.c index dc83df0668..a0d43118a8 100644 --- a/src/lib/thread.c +++ b/src/lib/thread.c @@ -400,7 +400,7 @@ enum cb_err thread_join(struct thread_handle *handle) while (handle->state != THREAD_DONE) assert(thread_yield() == 0); - printk(BIOS_SPEW, "took %lu us\n", stopwatch_duration_usecs(&sw)); + printk(BIOS_SPEW, "took %lld us\n", stopwatch_duration_usecs(&sw)); return handle->error; } @@ -415,7 +415,7 @@ void thread_mutex_lock(struct thread_mutex *mutex) assert(thread_yield() == 0); mutex->locked = true; - printk(BIOS_SPEW, "took %lu us to acquire mutex\n", stopwatch_duration_usecs(&sw)); + printk(BIOS_SPEW, "took %lld us to acquire mutex\n", stopwatch_duration_usecs(&sw)); } void thread_mutex_unlock(struct thread_mutex *mutex) |