123456789101112131415161718192021222324252627282930313233 |
- // SPDX-License-Identifier: GPL-2.0+
- /*
- * Copyright 2016 NXP Semiconductor, Inc.
- */
- #include <common.h>
- #include <asm/cache.h>
- #include <asm/psci.h>
- #include <asm/system.h>
- #include <asm/armv8/sec_firmware.h>
- #ifdef CONFIG_ARMV8_SEC_FIRMWARE_SUPPORT
- int psci_update_dt(void *fdt)
- {
- /*
- * If the PSCI in SEC Firmware didn't work, avoid to update the
- * device node of PSCI. But still return 0 instead of an error
- * number to support detecting PSCI dynamically and then switching
- * the SMP boot method between PSCI and spin-table.
- */
- if (sec_firmware_support_psci_version() == PSCI_INVALID_VER)
- return 0;
- fdt_psci(fdt);
- #if defined(CONFIG_ARMV8_PSCI) && !defined(CONFIG_ARMV8_SECURE_BASE)
- /* secure code lives in RAM, keep it alive */
- fdt_add_mem_rsv(fdt, (unsigned long)__secure_start,
- __secure_end - __secure_start);
- #endif
- return 0;
- }
- #endif
|