if (add_hotplug_env_var(envp, num_envp, &i, buffer, buffer_size, &len, "TIMEOUT=%i", loading_timeout)) return -ENOMEM; 
firmware_class_hotplug(struct class_device *class_dev, char **envp,		       int num_envp, char *buffer, int buffer_size){	struct firmware_priv *fw_priv = class_get_devdata(class_dev);	int i = 0, len = 0;	if (!test_bit(FW_STATUS_READY, &fw_priv->status))		return -ENODEV;	if (add_hotplug_env_var(envp, num_envp, &i, buffer, buffer_size, &len,			"FIRMWARE=%s", fw_priv->fw_id))		return -ENOMEM;	envp[i] = NULL;	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6897089c5f7989603ccb9c696050470ba1dbd262/firmware_class.c/clean/drivers/base/firmware_class.c