9da48b5502
Writes to GICD_ISPENDR0 and GICD_ICPENDR0 ignore all settings of the pending state for SGIs. Make sure the implementation handles this correctly. Signed-off-by: Christoffer Dall <christoffer.dall@linaro.org> |
||
---|---|---|
.. | ||
arch_timer.c | ||
vgic-v2.c | ||
vgic-v3.c | ||
vgic.c |