while ((bss_hotplug_slot = sn_hp_destroy())) {
while ((bss_hotplug_slot = sn_hp_destroy()))
static void sn_pci_hotplug_exit(void){	struct hotplug_slot *bss_hotplug_slot;	while ((bss_hotplug_slot = sn_hp_destroy())) {		pci_hp_deregister(bss_hotplug_slot);	}	if (!list_empty(&sn_hp_list))		printk(KERN_ERR "%s: internal list is not empty\n", __FILE__);}