core bringup + various warnings

+ dbg_fdt() is apparently broken, possibly due to UB or something, but
  it causes some issues with optimizations enabled. Remove it
  temporarily

1 files changed, 1 insertions, 1 deletions

diff --git a/src/tcb.c b/src/tcb.c
index 45c31ce..27256e9 100644
--- a/src/tcb.c
+++ b/src/tcb.c
@@ -303,7 +303,7 @@ void unreference_proc(struct tcb *p)
 	hard_assert(is_proc(p), RETURN_VOID);
 	p->refcount--;
 	if (zombie(p) && p->refcount == 0) {
-		dbg("thread %d is completely destroyed\n", p->tid);
+		dbg("thread %ld is completely destroyed\n", (long)p->tid);
 		__destroy_thread_data(p);
 	}
 }