-#include "core_cm0plus.h" /* Core Peripheral Access Layer */
-#include "system_MKL26Z4.h" /* Device specific configuration file */
+static inline
+uint32_t __get_PRIMASK (void)
+{
+ uint32_t result;
+
+ asm volatile ("MRS %0, primask" : "=r" (result) :: "memory");
+ return(result);
+}
+
+static inline
+void __set_PRIMASK (uint32_t priMask)
+{
+ asm volatile ("MSR primask, %0" : : "r" (priMask) : "memory");
+}