Searched hist:"0 f93de74928448f5af00faf711385b2ebeb8da65" (Results 1 – 1 of 1) sorted by relevance
| /optee_os/core/drivers/ |
| H A D | gic.c | 0f93de74928448f5af00faf711385b2ebeb8da65 Mon Oct 01 06:54:54 UTC 2018 Etienne Carriere <etienne.carriere@linaro.org> core: correct unpaged constraint on GIC driver
Release of secondary boot cores on 32bit machine use SMC that
issue a SGI on secondary core. Since the interrupt is raised
from the monitor mode, the related GIC driver resources must be
tagged as unpaged.
This change costs around 300 bytes of unpaged resident memory.
Signed-off-by: Etienne Carriere <etienne.carriere@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
|