#ifndef CPU_H
#define CPU_H
#include <stdint.h>
uint32_t CPU_cpsie(void);
uint32_t CPU_cpsid(void);
void CPU_wfi(void);
#endif /* CPU_H */