/*--------------------------------------------------------------------
 * TITLE: Plasma Real Time Operating System
 * AUTHOR: Steve Rhoads (rhoadss@yahoo.com)
 * DATE CREATED: 12/17/05
 * FILENAME: plasma.h
 * PROJECT: Plasma CPU core
 * COPYRIGHT: Software placed into the public domain by the author.
 *    Software 'as is' without warranty.  Author liable for nothing.
 * DESCRIPTION:
 *    Plasma Hardware Defines
 *--------------------------------------------------------------------*/
#ifndef __PLASMA_H__
#define __PLASMA_H__

/*********** Hardware addesses ***********/
#define RAM_INTERNAL_BASE 0x00000000 //8KB
#define RAM_EXTERNAL_BASE 0x10000000 //1MB
#define MISC_BASE         0x20000000
#define UART_WRITE        0x20000000
#define UART_READ         0x20000000
#define IRQ_MASK          0x20000010
#define IRQ_STATUS        0x20000020
#define GPIO0_OUT         0x20000030
#define GPIO1_OUT         0x20000040
#define GPIOA_IN          0x20000050
#define COUNTER_REG       0x20000060

/*********** Interrupt bits **************/
#define IRQ_UART_READ_AVAILABLE  0x01
#define IRQ_UART_WRITE_AVAILABLE 0x02
#define IRQ_COUNTER18_NOT        0x04
#define IRQ_COUNTER18            0x08
#define IRQ_GPIO30_NOT           0x10
#define IRQ_GPIO31_NOT           0x20
#define IRQ_GPIO30               0x40
#define IRQ_GPIO31               0x80


/********* Functions Prototype ***********/

void printchar(char ch);
void halt(void);
void printstr(char * s);
void print_uint(unsigned int v);
void print_int(int v);
void print_hex(unsigned int p);
void print_register(const unsigned int number);


void interrupt_init();
void interrupt_enable();
void interrupt_disable();
void irq_enable(unsigned int);
void irq_disable(unsigned int);

#endif //__PLASMA_H__