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

Reply via email to