On 21 February 2014 17:03, Christoffer Dall <christoffer.d...@linaro.org> wrote: > The GIC_SET_LEVEL macro unfortunately overwrote the entire level > bitmask instead of just or'ing on the necessary bits, causing active > level PPIs on a core to clear PPIs on other cores. > > I introduced this bug, sorry about that. > Actually it turns out this was ancient, I was a little too quick to blame myself there.
-Christoffer