pci_xen_hvm_init    7 arch/x86/include/asm/xen/pci.h extern int __init pci_xen_hvm_init(void);
pci_xen_hvm_init 1709 drivers/xen/events/events_base.c 		pci_xen_hvm_init();