On 1 December 2011 19:37, Peter Maydell <peter.mayd...@linaro.org> wrote: > Ignore attempts to complete non-existent IRQs; this fixes a buffer > overrun if the guest writes a bad value to the GICC_EOIR register. > (This case is UNPREDICTABLE so ignoring it is a valid choice.) > Note that doing nothing if the guest writes 1023 to this register > is not in fact a change in behaviour: the old code would also > always do nothing in this case but in a non-obvious way. > (The buffer overrun was noted by Coverity, see bug 887883.)
Thanks, applied this patch also. Cheers
