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);