broken_pdc 830 drivers/pci/hotplug/pnv_php.c u32 broken_pdc = 0; broken_pdc 844 drivers/pci/hotplug/pnv_php.c &broken_pdc); broken_pdc 845 drivers/pci/hotplug/pnv_php.c if (!ret && broken_pdc)