diff options
Diffstat (limited to 'bl32')
| -rw-r--r-- | bl32/sp_min/sp_min_main.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/bl32/sp_min/sp_min_main.c b/bl32/sp_min/sp_min_main.c index 31cab3df8..c1ba8fc51 100644 --- a/bl32/sp_min/sp_min_main.c +++ b/bl32/sp_min/sp_min_main.c @@ -156,14 +156,20 @@ static void sp_min_prepare_next_image_entry(void) *****************************************************************************/ void sp_min_main(void) { - /* Perform platform setup in TSP MIN */ + /* Setup the arguments for PSCI Library */ + DEFINE_STATIC_PSCI_LIB_ARGS_V1(psci_args, sp_min_warm_entrypoint); + + NOTICE("SP_MIN: %s\n", version_string); + NOTICE("SP_MIN: %s\n", build_message); + + /* Perform the SP_MIN platform setup */ sp_min_platform_setup(); /* * Initialize the PSCI library and perform the remaining generic * architectural setup from PSCI. */ - psci_setup((uintptr_t)sp_min_warm_entrypoint); + psci_setup(&psci_args); /* * Initialize the runtime services e.g. psci |