From f892047183068339e55901bb6d0fc2e258248113 Mon Sep 17 00:00:00 2001
From: Jessica Hamilton <jessica.l.hamilton@gmail.com>
Date: Sat, 4 Jun 2022 10:31:05 +1200
Subject: [PATCH] kernel.h: don't include user address tests in boot loader

---
 headers/private/kernel/kernel.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/headers/private/kernel/kernel.h b/headers/private/kernel/kernel.h
index 981f37a892..0cfa2dec8b 100644
--- a/headers/private/kernel/kernel.h
+++ b/headers/private/kernel/kernel.h
@@ -30,6 +30,8 @@
 		((addr_t)(x) >= KERNEL_BASE && (addr_t)(x) <= KERNEL_TOP)
 #endif
 
+#ifndef _BOOT_MODE
+
 // Buffers passed in from user-space shouldn't point into the kernel.
 #if USER_BASE == 0
 #	define IS_USER_ADDRESS(x)		((addr_t)(x) <= USER_TOP)
@@ -56,6 +58,7 @@ is_user_address_range(const void* addr, size_t size)
 }
 #endif
 
+#endif // !_BOOT_MODE
 
 #define DEBUG_KERNEL_STACKS
 	// Note, debugging kernel stacks doesn't really work yet. Since the