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 10struct kernel_args; 11 12bool ioapic_is_interrupt_available(int32 gsi); 13 14void ioapic_preinit(kernel_args* args); 15void ioapic_init(); 16 17#endif // _KERNEL_ARCH_x86_IOAPIC_H 18