bddd804a6e
Restructure the x86 interrupt handling to allow for a more flexible method of using IOAPIC and MSI interrupts. The essence of this change is to allow for the user to pick, for both IOAPIC and MSIs, which CPU vector to use. Additionally there is future support, in the API, for seL4 to eventually protect MSI interrupts with the vt-d interrupt routing tables. API behaviour for legacy systems using the PIC is preserved Part of SELFOUR-281 |
||
|---|---|---|
| .. | ||
| cnode.h | ||
| endpoint.h | ||
| interrupt.h | ||
| notification.h | ||
| objecttype.h | ||
| structures.h | ||
| structures_32.bf | ||
| tcb.h | ||
| untyped.h | ||