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)