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