diff options
Diffstat (limited to 'bl31/bl31_main.c')
| -rw-r--r-- | bl31/bl31_main.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bl31/bl31_main.c b/bl31/bl31_main.c index 01f00f23..755320d3 100644 --- a/bl31/bl31_main.c +++ b/bl31/bl31_main.c @@ -100,6 +100,7 @@ void bl31_main(void) assert(cm_get_context(mpidr, NON_SECURE)); cm_set_next_eret_context(NON_SECURE); write_vbar_el3((uint64_t) runtime_exceptions); + isb(); next_image_type = NON_SECURE; /* |