pci_xen_initial_domain   18 arch/x86/include/asm/xen/pci.h int __init pci_xen_initial_domain(void);
pci_xen_initial_domain 1700 drivers/xen/events/events_base.c 			pci_xen_initial_domain();