Re: CVS commit: src/sys/arch/arm/broadcom

[Matt Thomas <matt%3am-software.com@localhost>]

> On Jul 25, 2015, at 1:43 AM, Nick Hudson <skrll%netbsd.org@localhost> 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.