#ifndef CPU_IRQ_H
#define CPU_IRQ_H


#include "asm/hwi.h"

#define ___interrupt 	__attribute__((interrupt("")))




#endif