diff --git a/headers/private/kernel/pools.h b/headers/private/kernel/pools.h
index 3ee7af485c..46c92f849c 100644
--- a/headers/private/kernel/pools.h
+++ b/headers/private/kernel/pools.h
@@ -6,7 +6,6 @@
 #define _KERNEL_POOLS_H
 
 
-#include <ktypes.h>
 #include <lock.h>
 
 typedef struct pool_ctl	pool_ctl;
diff --git a/headers/private/kernel/vm_types.h b/headers/private/kernel/vm_types.h
index 5336905f6c..079d9e297e 100644
--- a/headers/private/kernel/vm_types.h
+++ b/headers/private/kernel/vm_types.h
@@ -8,12 +8,15 @@
 #ifndef _KERNEL_VM_TYPES_H
 #define _KERNEL_VM_TYPES_H
 
+
 #include <kernel.h>
-#include <ktypes.h>
 #include <defines.h>
 #include <vfs.h>
 #include <arch/vm_translation_map.h>
 
+
+typedef int32  aspace_id;
+
 // vm page
 typedef struct vm_page {
 	struct vm_page		*queue_prev;