#ifndef CPU_H
#define CPU_H

#include <stdint.h>

uint32_t CPU_cpsie(void);

#endif /* CPU_H */