On 13 August 2014 17:31, Sergey Fedorov <serge.f...@gmail.com> wrote: > Take IRQ target mask into account when determining the highest priority > pending interrupt. > > Signed-off-by: Sergey Fedorov <serge.f...@gmail.com>
Thanks, applied to target-arm.next. -- PMM