1 #ifndef __ASM_X86_DEVICE_H
2 #define __ASM_X86_DEVICE_H
3 
4 #include <xen/pci.h>
5 
6 /*
7  * x86 only supports PCI. Therefore it's possible to directly use
8  * pci_dev to avoid adding new field.
9  */
10 
11 typedef struct pci_dev device_t;
12 
13 #define dev_is_pci(dev) ((void)(dev), 1)
14 #define pci_to_dev(pci) (pci)
15 
16 #endif /* __ASM_X86_DEVICE_H */
17 
18 /*
19  * Local variables:
20  * mode: C
21  * c-file-style: "BSD"
22  * c-basic-offset: 4
23  * indent-tabs-mode: nil
24  * End:
25  */
26