unconfigure_boot_device 1467 drivers/pci/hotplug/ibmphp_pci.c 					rc = unconfigure_boot_device(busno, device, function);
unconfigure_boot_device 1476 drivers/pci/hotplug/ibmphp_pci.c 					rc = unconfigure_boot_device(busno, device, function);