1 // SPDX-License-Identifier: GPL-2.0+ 2 /* 3 * Copyright 2016 NXP Semiconductor, Inc. 4 */ 5 6 #include <common.h> 7 #include <asm/psci.h> 8 #include <asm/system.h> 9 #include <asm/armv8/sec_firmware.h> 10 11 #ifdef CONFIG_ARMV8_SEC_FIRMWARE_SUPPORT 12 int psci_update_dt(void *fdt) 13 { 14 /* 15 * If the PSCI in SEC Firmware didn't work, avoid to update the 16 * device node of PSCI. But still return 0 instead of an error 17 * number to support detecting PSCI dynamically and then switching 18 * the SMP boot method between PSCI and spin-table. 19 */ 20 if (sec_firmware_support_psci_version() == PSCI_INVALID_VER) 21 return 0; 22 fdt_psci(fdt); 23 24 #if defined(CONFIG_ARMV8_PSCI) && !defined(CONFIG_ARMV8_SECURE_BASE) 25 /* secure code lives in RAM, keep it alive */ 26 fdt_add_mem_rsv(fdt, (unsigned long)__secure_start, 27 __secure_end - __secure_start); 28 #endif 29 30 return 0; 31 } 32 #endif 33