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