Add the rt linux 4.1.3-rt3 as base
[kvmfornfv.git] / kernel / arch / x86 / platform / intel-mid / device_libs / platform_ipc.h
1 /*
2  * platform_ipc.h: IPC platform library header file
3  *
4  * (C) Copyright 2013 Intel Corporation
5  * Author: Sathyanarayanan Kuppuswamy <sathyanarayanan.kuppuswamy@intel.com>
6  *
7  * This program is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License
9  * as published by the Free Software Foundation; version 2
10  * of the License.
11  */
12 #ifndef _PLATFORM_IPC_H_
13 #define _PLATFORM_IPC_H_
14
15 void __init
16 ipc_device_handler(struct sfi_device_table_entry *pentry, struct devs_id *dev);
17
18 #endif