diff options
Diffstat (limited to 'bl31/bl31_main.c')
| -rw-r--r-- | bl31/bl31_main.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bl31/bl31_main.c b/bl31/bl31_main.c index f95ef41a..7b0b675b 100644 --- a/bl31/bl31_main.c +++ b/bl31/bl31_main.c @@ -58,13 +58,16 @@ static uint32_t next_image_type = NON_SECURE; ******************************************************************************/ void bl31_lib_init(void) { + /* Setup the arguments for PSCI Library */ + DEFINE_STATIC_PSCI_LIB_ARGS_V1(psci_args, bl31_warm_entrypoint); + cm_init(); /* * Initialize the PSCI library here. This also does EL3 architectural * setup. */ - psci_setup((uintptr_t)bl31_warm_entrypoint); + psci_setup(&psci_args); } /******************************************************************************* |