1
/******************************************************************************
4
* Xen platform PCI device driver
5
* Copyright (c) 2004, Intel Corporation. <xiaofeng.ling@intel.com>
6
* Copyright (c) 2007, XenSource Inc.
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.
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
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.
22
#ifndef _XEN_PLATFORM_PCI_H
23
#define _XEN_PLATFORM_PCI_H
25
#include <linux/pci.h>
27
unsigned long alloc_xen_mmio(unsigned long len);
28
void platform_pci_resume(void);
30
extern struct pci_dev *xen_platform_pdev;
32
#endif /* _XEN_PLATFORM_PCI_H */