diff --git a/arch/x86_64/init.c b/arch/x86_64/init.c
index 5921eee..a9a084a 100644
--- a/arch/x86_64/init.c
+++ b/arch/x86_64/init.c
@@ -59,7 +59,8 @@ static void early_vm_init(uintptr_t reserve_end)
 	printk("memblock: allocating from [0x%llx-0x%llx]", alloc_start, alloc_end);
 
 	memblock_reserve(0x00, reserve_end);
-	printk("memblock: reserved bios+kernel at [0x%016llx-0x%016llx]", 0,
+	printk("memblock: reserved bios+kernel at [0x%016llx-0x%016llx]",
+	       0,
 	       reserve_end);
 }
 
diff --git a/sched/thread.c b/sched/thread.c
index 00fb9f0..ec7025e 100644
--- a/sched/thread.c
+++ b/sched/thread.c
@@ -131,7 +131,12 @@ kern_status_t thread_init_user_clone(
 
 	/* this context will be used by ml_user_return to jump to userspace
 	 * with the specified instruction pointer and user stack */
-	ml_thread_clone_user_context(src->tr_irqctx, return_value, &thr->tr_sp);
+	ml_thread_clone_user_context(
+		src->tr_irqctx,
+		&src->tr_ml,
+		&thr->tr_ml,
+		return_value,
+		&thr->tr_sp);
 	/* this context will be used by the scheduler and ml_thread_switch to
 	 * jump to ml_user_return in kernel mode with the thread's kernel stack.
 	 */