9static inline void snrt_wfi();
11static inline uint32_t snrt_mcycle();
13inline void snrt_interrupt_enable(uint32_t irq);
15inline void snrt_interrupt_disable(uint32_t irq);
17inline void snrt_interrupt_global_enable(
void);
19inline void snrt_interrupt_global_disable(
void);