Searched hist:"9 e935234082a30d5a5f8d8dd68dc4bdd82b02174" (Results 1 – 1 of 1) sorted by relevance
| /optee_os/core/drivers/ |
| H A D | gic.c | 9e935234082a30d5a5f8d8dd68dc4bdd82b02174 Mon Feb 12 17:57:47 UTC 2024 Jens Wiklander <jens.wiklander@linaro.org> core: gic: support to configure PPI interrupts
Add support to configure PPI interrupts (assigning to Secure Group 1
etc). Since PPIs are per CPU interrupts as SGIs their configuration
should be synchronized to all CPUs in the same way. Add support to
synchronize needed PPI configuration to other CPUs.
The configuration that needs to be synchronized to other CPUs should
ideally not be changed once the primary CPU has booted. So add a check
in gic_op_enable() to catch this.
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
Acked-by: Etienne Carriere <etienne.carriere@foss.st.com>
|