Index: sys/arch/arm/broadcom/bcm2835_intr.c
===================================================================
RCS file: /cvsroot/src/sys/arch/arm/broadcom/bcm2835_intr.c,v
retrieving revision 1.10
diff -u -p -r1.10 bcm2835_intr.c
--- sys/arch/arm/broadcom/bcm2835_intr.c	25 Jul 2015 08:43:41 -0000	1.10
+++ sys/arch/arm/broadcom/bcm2835_intr.c	1 Aug 2015 14:15:30 -0000
@@ -492,12 +492,16 @@ bcm2836mp_ipi_handler(void *priv)
 		const u_int ipi = bit - 1;
 		switch (ipi) {
 		case IPI_AST:
+			pic_ipi_ast(priv);
+			break;
 		case IPI_NOP:
+			pic_ipi_nop(priv);
+			break;
 #ifdef __HAVE_PREEMPTION
 		case IPI_KPREEMPT:
-#endif
-			pic_ipi_nop(priv);
+			pic_ipi_kpreempt(priv);
 			break;
+#endif
 		case IPI_XCALL:
 			pic_ipi_xcall(priv);
 			break;