typedef unsigned char BYTE;
typedef unsigned int  WORD;

/* I/O devices port address */
#define	LEDPORT 	0x7880
#define	SPEAKER		0x7B00	/* DAC1 */
#define	KEYBOARD	0x7B80
#define	DAC0		0x7A80

/* Interrupt table vector offset */
#define	INTVEC_SIO0_E	0x0C
#define	INTVEC_SIO0_R	0x0D
#define	INTVEC_SIO0_T	0x0E
#define	INTVEC_SIO1_E	0x10
#define	INTVEC_SIO1_R	0x11
#define	INTVEC_SIO1_T	0x12
#define	INTVEC_TMR		0x1C
#define	INTVEC_TMR1 	0x1D
#define	INTVEC_TMR2 	0x1E