Searched hist:"30 a673e35cc6549216f3dd387b8ec49fe8e767ab" (Results 1 – 1 of 1) sorted by relevance
| /optee_os/core/drivers/ |
| H A D | gic.c | 30a673e35cc6549216f3dd387b8ec49fe8e767ab Fri Oct 30 10:38:32 UTC 2015 Peter Maydell <peter.maydell@linaro.org> drivers/core/gic.c: Set priority mask to allow NS interrupts
The non-secure world's view of interrupt priorities only allows
it to set priorities between 0x80 and 0xff. This means that the
secure world has to set the GICC_PMR (priority mask register) to
a value that allows NS interrupts, otherwise the non-secure
world will never see interrupts and has no way to set the
priorities so that it will ever see them.
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
|