kern/kmem: new KMEM_DEBUG option

2 files changed, 9 insertions, 3 deletions

diff --git a/kern/Kconfig b/kern/Kconfig
index 13cd39b..8125f94 100644
--- a/kern/Kconfig
+++ b/kern/Kconfig
@@ -84,6 +84,12 @@ endmenu
 
 menu "Debugging"
 
+config KMEM_DEBUG
+	bool "Kernel allocator debugging"
+	default n
+	---help---
+	  Enable the debugging of the kernel allocator.
+
 config INIT_DEBUG
 	bool "Initialization debugging"
 	default n
diff --git a/kern/kmem.c b/kern/kmem.c
index 398e03f..b87f4b1 100644
--- a/kern/kmem.c
+++ b/kern/kmem.c
@@ -550,11 +550,11 @@ kmem_cache_init(struct kmem_cache *cache, const char *name, size_t obj_size,
     struct kmem_cpu_pool_type *cpu_pool_type;
     size_t i, buf_size;
 
-#ifdef KMEM_VERIFY
+#ifdef CONFIG_KMEM_DEBUG
     cache->flags = KMEM_CF_VERIFY;
-#else /* KMEM_CF_VERIFY */
+#else /* CONFIG_KMEM_DEBUG */
     cache->flags = 0;
-#endif /* KMEM_CF_VERIFY */
+#endif /* CONFIG_KMEM_DEBUG */
 
     if (flags & KMEM_CACHE_VERIFY) {
         cache->flags |= KMEM_CF_VERIFY;