/kernel/trunk/arch/ppc32/src/interrupt.c |
---|
26,13 → 26,6 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ppc32interrupt ppc32 |
* @ingroup interrupt |
* @{ |
*/ |
/** @file |
*/ |
#include <interrupt.h> |
#include <arch/interrupt.h> |
#include <arch/types.h> |
92,7 → 85,3 |
{ |
int_register(irq, "ipc_int", ipc_int); |
} |
/** @} |
*/ |