arm_cpu.h

NEW_TASK_CPSR
1
0x1F
WORDSIZE
1
32
uint32_t get_system_speed(void)
void cpu_clock_scale(uint32_t source, uint32_t target, uint32_t * prescale)
void arm_reset(void)