2 * Copyright 2016 NXP Semiconductor, Inc.
4 * SPDX-License-Identifier: GPL-2.0+
9 #ifdef CONFIG_ARMV8_SEC_FIRMWARE_SUPPORT
10 #include <asm/armv8/sec_firmware.h>
13 int psci_update_dt(void *fdt)
16 #if defined(CONFIG_ARMV8_PSCI)
17 #ifdef CONFIG_ARMV8_SEC_FIRMWARE_SUPPORT
19 * If the PSCI in SEC Firmware didn't work, avoid to update the
20 * device node of PSCI. But still return 0 instead of an error
21 * number to support detecting PSCI dynamically and then switching
22 * the SMP boot method between PSCI and spin-table.
24 if (sec_firmware_support_psci_version() == 0xffffffff)