1/*
2 * Copyright 2010-2011, Michael Lotz, mmlr@mlotz.ch. All Rights Reserved.
3 * Distributed under the terms of the MIT license.
4 */
5#ifndef _KERNEL_ARCH_x86_MSI_PRIV_H
6#define _KERNEL_ARCH_x86_MSI_PRIV_H
7
8
9void msi_init(kernel_args* args);
10
11
12#endif // _KERNEL_ARCH_x86_MSI_PRIV_H
13