> On Jul 25, 2015, at 1:43 AM, Nick Hudson <sk...@netbsd.org> wrote:
>
> Module Name: src
> Committed By: skrll
> Date: Sat Jul 25 08:43:41 UTC 2015
>
> Modified Files:
> src/sys/arch/arm/broadcom: bcm2835_intr.c
>
> Log Message:
> IPIs should be IPL_HIGH according to rmind@
>
> Fix bcm2836mp_pic_{un,}block_irqs to handle timer AND mailbox interrupts
> if they're both passed. Thanks to nat@ for finding this.
>
> Sprinkle some KASSERTs
It depends on the IPI. IPI_AST doesn't need to be IPI_HIGH since all it does
is get the target cpu out of usermode.
