diff --git a/sys/arm/ti/ti_machdep.c b/sys/arm/ti/ti_machdep.c
index acf395cb609b..170c253e6b6d 100644
--- a/sys/arm/ti/ti_machdep.c
+++ b/sys/arm/ti/ti_machdep.c
@@ -56,7 +56,7 @@ __FBSDID("$FreeBSD$");
 #include <arm/ti/omap4/omap4_reg.h>
 
 /* Start of address space used for bootstrap map */
-#define DEVMAP_BOOTSTRAP_MAP_START	0xE0000000
+#define DEVMAP_BOOTSTRAP_MAP_START	0xF0000000
 
 void (*ti_cpu_reset)(void);
 
@@ -92,14 +92,14 @@ platform_devmap_init(void)
 {
 	int i = 0;
 #if defined(SOC_OMAP4)
-	fdt_devmap[i].pd_va = 0xE8000000;
+	fdt_devmap[i].pd_va = 0xF8000000;
 	fdt_devmap[i].pd_pa = 0x48000000;
 	fdt_devmap[i].pd_size = 0x1000000;
 	fdt_devmap[i].pd_prot = VM_PROT_READ | VM_PROT_WRITE;
 	fdt_devmap[i].pd_cache = PTE_DEVICE;
 	i++;
 #elif defined(SOC_TI_AM335X)
-	fdt_devmap[i].pd_va = 0xE4C00000;
+	fdt_devmap[i].pd_va = 0xF4C00000;
 	fdt_devmap[i].pd_pa = 0x44C00000;       /* L4_WKUP */
 	fdt_devmap[i].pd_size = 0x400000;       /* 4 MB */
 	fdt_devmap[i].pd_prot = VM_PROT_READ | VM_PROT_WRITE;