if (dn->devfn == devfn) 
if (dn->devfn == devfn && of_device_available(dn)) 
static int rtas_pci_write_config(struct pci_bus *bus,				 unsigned int devfn,				 int where, int size, u32 val){	struct device_node *busdn, *dn;	if (bus->self)		busdn = pci_device_to_OF_node(bus->self);	else		busdn = bus->sysdata;	/* must be a phb */	/* Search only direct children of the bus */	for (dn = busdn->child; dn; dn = dn->sibling)		if (dn->devfn == devfn)			return rtas_write_config(dn, where, size, val);	return PCIBIOS_DEVICE_NOT_FOUND;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/293da76b3d4c2f362f906bce8c5d2e053bdf8d44/rtas_pci.c/buggy/arch/ppc64/kernel/rtas_pci.c