1 /* 2 * Copyright 2011, Michael Lotz, mmlr@mlotz.ch. 3 * Distributed under the terms of the MIT License. 4 */ 5 #ifndef _KERNEL_ARCH_x86_IOAPIC_H 6 #define _KERNEL_ARCH_x86_IOAPIC_H 7 8 #include <SupportDefs.h> 9 10 struct kernel_args; 11 12 bool ioapic_is_interrupt_available(int32 gsi); 13 14 void ioapic_preinit(kernel_args* args); 15 void ioapic_init(); 16 17 #endif // _KERNEL_ARCH_x86_IOAPIC_H 18