*value = sn_power_status_get(bss_hotplug_slot);
*value = pcibus_info->pbi_enabled_devices & (1 << slot->device_num);
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;}