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

// $Id: cpu.h 3842 2012-05-15 09:37:26Z 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>

#include <LPC23xx.h>

#define DEFAULT_CPU_FREQ	0

_BEGIN_STD_C

extern void cpu_init(unsigned long int frequency);

extern unsigned long int CPUFREQ;

_END_STD_C
#endif