diff --git a/src/boot_arm.c b/src/boot_arm.c
index 7b0ade2c6..6ef20b6ea 100644
--- a/src/boot_arm.c
+++ b/src/boot_arm.c
@@ -326,10 +326,12 @@ void isr_empty(void)
  *  - Call the application entry point
  *
  */
-#define VTOR (*(volatile uint32_t *)(0xE000ED08))
 
 #ifdef TZEN
 #include "hal.h"
+#define VTOR (*(volatile uint32_t *)(0xE002ED08))
+#else
+#define VTOR (*(volatile uint32_t *)(0xE000ED08))
 #endif