/* ARM microcontroller device specific definitions and header files */

// $Id: cpu.h 3843 2012-05-15 09:39:13Z svn $

#ifndef _CPU_H
#define _CPU_H

#include <_ansi.h>
#include <arm.h>
#include <device.h>
#include <interrupt.h>
#include <leds.h>
#include <serial.h>

#define DEFAULT_CPU_FREQ	0

_BEGIN_STD_C

#include <usb_serial/usb_serial.h>
#include <91x_lib.h>
#include <91x_it.h>

extern void cpu_init(unsigned long int frequency);

extern unsigned long int CPUFREQ;

_END_STD_C
#endif