This header file defines the IRQ(A)MP interface. More...
#include <stddef.h>
#include <grlib/io.h>
#include <grlib/irqamp-regs.h>
Go to the source code of this file.
This header file defines the IRQ(A)MP interface.