diff options
author | Andre Przywara <andre.przywara@linaro.org> | 2013-09-19 18:06:44 +0200 |
---|---|---|
committer | Albert ARIBAUD <albert.u.boot@aribaud.net> | 2013-10-03 21:28:51 +0200 |
commit | ba6a1698116da272f14c53a3ae41467cb7fc4372 (patch) | |
tree | 135476d83f61ee09d473a66a2a341290cb050307 /include/common.h | |
parent | bb975455650b1f36681de31a93ffe54952ed3a6b (diff) | |
download | u-boot-imx-ba6a1698116da272f14c53a3ae41467cb7fc4372.zip u-boot-imx-ba6a1698116da272f14c53a3ae41467cb7fc4372.tar.gz u-boot-imx-ba6a1698116da272f14c53a3ae41467cb7fc4372.tar.bz2 |
ARM: add SMP support for non-secure switch
Currently the non-secure switch is only done for the boot processor.
To enable full SMP support, we have to switch all secondary cores
into non-secure state also.
So we add an entry point for secondary CPUs coming out of low-power
state and make sure we put them into WFI again after having switched
to non-secure state.
For this we acknowledge and EOI the wake-up IPI, then go into WFI.
Once being kicked out of it later, we sanity check that the start
address has actually been changed (since another attempt to switch
to non-secure would block the core) and jump to the new address.
The actual CPU kick is done by sending an inter-processor interrupt
via the GIC to all CPU interfaces except the requesting processor.
The secondary cores will then setup their respective GIC CPU
interface.
While this approach is pretty universal across several ARMv7 boards,
we make this function weak in case someone needs to tweak this for
a specific board.
The way of setting the secondary's start address is board specific,
but mostly different only in the actual SMP pen address, so we also
provide a weak default implementation and just depend on the proper
address to be set in the config file.
Signed-off-by: Andre Przywara <andre.przywara@linaro.org>
Diffstat (limited to 'include/common.h')
-rw-r--r-- | include/common.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/common.h b/include/common.h index 8addf43..4d2a56d 100644 --- a/include/common.h +++ b/include/common.h @@ -627,6 +627,8 @@ void ft_pci_setup(void *blob, bd_t *bd); #endif #endif +void smp_set_core_boot_addr(unsigned long addr, int corenr); +void smp_kick_all_cpus(void); /* $(CPU)/serial.c */ int serial_init (void); |