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 
psci_update_dt(void * fdt)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