0545e9dc6d
commit d1edce71135cc6d98c0a4b5729774542b676e769 Author: sophgo-forum-service <forum_service@sophgo.com> Date: Fri Mar 15 16:07:33 2024 +0800 [fix] recommend using ssh method to clone repo. [fix] fix sensor driver repo branch name.
34 lines
877 B
C
34 lines
877 B
C
// 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>
|
|
|
|
#if CONFIG_IS_ENABLED(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
|