Symbol: pci_frontend_registrar
drivers/pci/xen-pcifront.c
1079
pci_frontend_registrar(1 /* enable */);
drivers/pci/xen-pcifront.c
1087
pci_frontend_registrar(0 /* disable */);