pci_frontend_registrar 1173 drivers/pci/xen-pcifront.c 	pci_frontend_registrar(1 /* enable */);
pci_frontend_registrar 1181 drivers/pci/xen-pcifront.c 	pci_frontend_registrar(0 /* disable */);