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__);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/1d2450a4a6eb656798c6282b5ffc8e5f9f52ac14/sgi_hotplug.c/clean/drivers/pci/hotplug/sgi_hotplug.c