Searched hist:"54739 cb4d2b3052219cdefaea5aaa07741878e87" (Results 1 – 1 of 1) sorted by relevance
| /optee_os/core/drivers/ |
| H A D | gic.c | 54739cb4d2b3052219cdefaea5aaa07741878e87 Tue Sep 12 14:30:26 UTC 2023 Mark-PK Tsai <mark-pk.tsai@mediatek.com> driver: gic: support sgi raise for gicv3
Use write_icc_sgi1r() and write_icc_asgi1r() to raise SGI
for gicv3.
And move the assertion from gic_it_raise_sgi() to
the caller function to improve the readability
of gic_it_raise_sgi().
Signed-off-by: Mark-PK Tsai <mark-pk.tsai@mediatek.com>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
|