ACPICA: Difference between revisions
[unchecked revision] | [unchecked revision] |
Content deleted Content added
Line 139:
If you're lucky, your IRQ manager uses handlers of this form:
uint32_t handler(void *);
In this case just assign the handler to the
#include <Irq.h>
ACPI_OSD_HANDLER ServiceRout;
|