pci_xen_init        6 arch/x86/include/asm/xen/pci.h extern int __init pci_xen_init(void);
pci_xen_init     1355 arch/x86/xen/enlighten_pv.c 			x86_init.pci.arch_init = pci_xen_init;