-#define VM_MIN_KERNEL_ADDRESS ((vm_offset_t) 0x00001000)
-#define VM_MAX_KERNEL_ADDRESS ((vm_offset_t) 0xDFFFFFFF)
+#define VM_MIN_KERNEL_ADDRESS ((vm_offset_t) 0x00001000U)
+#define VM_MIN_KERNEL_AND_KEXT_ADDRESS VM_MIN_KERNEL_ADDRESS
+#define VM_MAX_KERNEL_ADDRESS ((vm_offset_t) 0xDFFFFFFFU)