Symbol: zpci_is_device_configured
arch/s390/include/asm/pci.h
229
bool zpci_is_device_configured(struct zpci_dev *zdev);
drivers/pci/hotplug/s390_pci_hpc.c
107
*value = zpci_is_device_configured(zdev) ? 1 : 0;