#ifndef HAL_IRQ_2019_04_03_H_
  #define HAL_IRQ_2019_04_03_H_

  #include <Asm/HalAsm.h>

  #if defined(__cplusplus)
  extern "C"
  {
  #endif

  static inline void HalIrqEnableAll (void) { ASM_INLINE("cpsie i"); }
  static inline void HalIrqDisableAll(void) { ASM_INLINE("cpsid i"); }

  #if defined(__cplusplus)
  }
  #endif

#endif // HAL_IRQ_2019_04_03_H_