pnv_php_rmv_pdns  134 drivers/pci/hotplug/pnv_php.c 		pnv_php_rmv_pdns(child);
pnv_php_rmv_pdns  171 drivers/pci/hotplug/pnv_php.c 	pnv_php_rmv_pdns(php_slot->dn);