diff --git a/include/arch/arm/arch/64/mode/hardware.h b/include/arch/arm/arch/64/mode/hardware.h
index 00134bcfa3edc7f673feb7d989b140a774d5a15a..f17d7c74dfe544578de5c0d2082c9fa7f1471c2d 100644
--- a/include/arch/arm/arch/64/mode/hardware.h
+++ b/include/arch/arm/arch/64/mode/hardware.h
@@ -70,10 +70,10 @@
 
 #ifdef CONFIG_ARM_HYPERVISOR_SUPPORT
 #define PPTR_TOP 0xffffc0000000lu
-#define KDEV_PPTR 0xffffffff0000lu
+#define KDEV_PPTR 0xffffffe00000lu
 #else
 #define PPTR_TOP 0xffffffffc0000000
-#define KDEV_PPTR 0xffffffffffff0000lu
+#define KDEV_PPTR 0xffffffffffe00000lu
 #endif
 
 #define PADDR_TOP (PPTR_TOP - BASE_OFFSET)