diff --git a/sys/arm/arm/mp_machdep.c b/sys/arm/arm/mp_machdep.c
index fd275feabe7b..141f2db0401a 100644
--- a/sys/arm/arm/mp_machdep.c
+++ b/sys/arm/arm/mp_machdep.c
@@ -278,7 +278,6 @@ ipi_handler(void *arg)
 			break;
 
 		case IPI_STOP:
-		case IPI_STOP_HARD:
 			/*
 			 * IPI_STOP_HARD is mapped to IPI_STOP so it is not
 			 * necessary to add it in the switch.
diff --git a/sys/arm/include/smp.h b/sys/arm/include/smp.h
index 179882d3817d..6301c9a95ce0 100644
--- a/sys/arm/include/smp.h
+++ b/sys/arm/include/smp.h
@@ -10,7 +10,7 @@
 #define IPI_PREEMPT	2
 #define IPI_RENDEZVOUS	3
 #define IPI_STOP	4
-#define IPI_STOP_HARD	5
+#define IPI_STOP_HARD	4
 #define IPI_HARDCLOCK	6
 #define IPI_TLB		7