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