dbg("p_slot = %p\n", p_slot);  
static inline struct slot *shpchp_find_slot (struct controller *ctrl, u8 device){	struct slot *p_slot, *tmp_slot = NULL;	if (!ctrl)		return NULL;	p_slot = ctrl->slot;	dbg("p_slot = %p\n", p_slot);	while (p_slot && (p_slot->device != device)) {		tmp_slot = p_slot;		p_slot = p_slot->next;		dbg("In while loop, p_slot = %p\n", p_slot);	}	if (p_slot == NULL) {		err("ERROR: shpchp_find_slot device=0x%x\n", device);		p_slot = tmp_slot;	}	return (p_slot);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7c8942f993dc069db0e0327a343bbec8a6e96074/shpchp.h/buggy/drivers/pci/hotplug/shpchp.h