Lines Matching +full:psci +full:- +full:1
1 // SPDX-License-Identifier: GPL-2.0+
13 #include <linux/psci.h>
16 #include <asm/psci.h>
20 #include "../soc-info.h"
21 #include "arm-mpcore.h"
22 #include "cache-uniphier.h"
40 return 1; in uniphier_get_nr_cpus()
55 if (nr_cpus == 1) in uniphier_smp_kick_all_cpus()
66 trmp_size = trmp_src_end - trmp_src; in uniphier_smp_kick_all_cpus()
68 trmp_dest = trmp_src & (SZ_64K - 1); in uniphier_smp_kick_all_cpus()
69 trmp_dest += SZ_1M - SZ_64K * 2; in uniphier_smp_kick_all_cpus()
78 "sev"); /* Bring up all secondary CPUs from Boot ROM into U-Boot */ in uniphier_smp_kick_all_cpus()
80 while (--timeout) { in uniphier_smp_kick_all_cpus()
81 int all_booted = 1; in uniphier_smp_kick_all_cpus()
83 for (i = 1; i < nr_cpus; i++) in uniphier_smp_kick_all_cpus()
88 udelay(1); in uniphier_smp_kick_all_cpus()
108 if (!(scu_ctrl & 1)) in psci_board_init()
126 asm("mrc p15, 0, %0, c1, c0, 1" : "=r" (actlr)); in psci_arch_init()
128 asm("mcr p15, 0, %0, c1, c0, 1" : : "r" (actlr)); in psci_arch_init()
138 debug_puts("[U-Boot PSCI] psci_cpu_on: cpuid="); in psci_cpu_on()
148 /* We assume D-cache is off, so do not call flush_dcache() here */ in psci_cpu_on()