On 28 January 2014 20:32, Christoffer Dall <christoffer.d...@linaro.org> wrote: > Fix two bugs that would allow changing the state of SGIs through the > ICPENDR and ISPENDRs. > > Signed-off-by: Christoffer Dall <christoffer.d...@linaro.org>
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> thanks -- PMM