1 | /****************************************************************************** |
---|
2 | * platform-pci.h |
---|
3 | * |
---|
4 | * Xen platform PCI device driver |
---|
5 | * Copyright (c) 2004, Intel Corporation. <xiaofeng.ling@intel.com> |
---|
6 | * Copyright (c) 2007, XenSource Inc. |
---|
7 | * |
---|
8 | * This program is free software; you can redistribute it and/or modify it |
---|
9 | * under the terms and conditions of the GNU General Public License, |
---|
10 | * version 2, as published by the Free Software Foundation. |
---|
11 | * |
---|
12 | * This program is distributed in the hope it will be useful, but WITHOUT |
---|
13 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
---|
14 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for |
---|
15 | * more details. |
---|
16 | * |
---|
17 | * You should have received a copy of the GNU General Public License along with |
---|
18 | * this program; if not, write to the Free Software Foundation, Inc., 59 Temple |
---|
19 | * Place - Suite 330, Boston, MA 02111-1307 USA. |
---|
20 | */ |
---|
21 | |
---|
22 | #ifndef _XEN_PLATFORM_PCI_H |
---|
23 | #define _XEN_PLATFORM_PCI_H |
---|
24 | |
---|
25 | #include <linux/pci.h> |
---|
26 | |
---|
27 | unsigned long alloc_xen_mmio(unsigned long len); |
---|
28 | void platform_pci_resume(void); |
---|
29 | |
---|
30 | extern struct pci_dev *xen_platform_pdev; |
---|
31 | |
---|
32 | #endif /* _XEN_PLATFORM_PCI_H */ |
---|