2010-09-22 15:10:42 +02:00
|
|
|
#ifndef _ARM_CPU_H
|
|
|
|
#define _ARM_CPU_H
|
|
|
|
|
|
|
|
#include <stdint.h>
|
|
|
|
#include "VIC.h"
|
|
|
|
#include "arm_common.h"
|
|
|
|
|
|
|
|
#define NEW_TASK_CPSR 0x1F
|
|
|
|
#define WORDSIZE 32
|
|
|
|
|
2013-02-06 13:20:21 +01:00
|
|
|
extern void dINT(void);
|
|
|
|
extern void eINT(void);
|
2010-09-22 15:10:42 +02:00
|
|
|
|
2013-02-06 13:20:21 +01:00
|
|
|
void thread_yield(void);
|
2010-09-22 15:10:42 +02:00
|
|
|
uint32_t get_system_speed(void);
|
2013-06-21 03:52:57 +02:00
|
|
|
void cpu_clock_scale(uint32_t source, uint32_t target, uint32_t *prescale);
|
2010-09-22 15:10:42 +02:00
|
|
|
|
|
|
|
void arm_reset(void);
|
|
|
|
void stdio_flush(void);
|
|
|
|
|
|
|
|
#endif // _ARM_CPU_H
|