diff --git a/arch/arm/include/armv6-m/irq.h b/arch/arm/include/armv6-m/irq.h
index 6aedf6e592d..185e45d4b56 100644
--- a/arch/arm/include/armv6-m/irq.h
+++ b/arch/arm/include/armv6-m/irq.h
@@ -311,17 +311,6 @@ static inline uint32_t getipsr(void)
   return ipsr;
 }
 
-static inline void setipsr(uint32_t ipsr) inline_function;
-static inline void setipsr(uint32_t ipsr)
-{
-  __asm__ __volatile__
-    (
-      "\tmsr ipsr, %0\n"
-      :
-      : "r" (ipsr)
-      : "memory");
-}
-
 /* Get/set CONTROL */
 
 static inline uint32_t getcontrol(void) inline_function;
diff --git a/arch/arm/include/armv7-m/irq.h b/arch/arm/include/armv7-m/irq.h
index 3c0cb14175d..e6a1d67e5be 100644
--- a/arch/arm/include/armv7-m/irq.h
+++ b/arch/arm/include/armv7-m/irq.h
@@ -327,17 +327,6 @@ static inline uint32_t getipsr(void)
   return ipsr;
 }
 
-static inline void setipsr(uint32_t ipsr) inline_function;
-static inline void setipsr(uint32_t ipsr)
-{
-  __asm__ __volatile__
-    (
-      "\tmsr ipsr, %0\n"
-      :
-      : "r" (ipsr)
-      : "memory");
-}
-
 /* Get/set CONTROL */
 
 static inline uint32_t getcontrol(void) inline_function;