static int get_power_status(struct hotplug_slot *bss_hotplug_slot, u8 *value) 
static inline int get_power_status(struct hotplug_slot *bss_hotplug_slot, u8 *value) 
static int get_power_status(struct hotplug_slot *bss_hotplug_slot, u8 *value){	down(&sn_hotplug_sem);	*value = sn_power_status_get(bss_hotplug_slot);	up(&sn_hotplug_sem);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/1d2450a4a6eb656798c6282b5ffc8e5f9f52ac14/sgi_hotplug.c/clean/drivers/pci/hotplug/sgi_hotplug.c