Lines Matching refs:args
250 char **args)
265 if (args[0][0] == '(' && args[0][grub_strlen (args[0]) - 1] == ')')
267 devname = grub_strdup (args[0] + 1);
272 devname = grub_strdup (args[0]);
325 char **args)
342 devname = grub_file_get_device_name (args[0]);
353 fsname = grub_strchr (args[0], ')');
357 fsname = args[0];
409 grub_env_set (args[1], bootfs);
422 char **args)
441 /* args[0] is the DEVICE name */
442 if (args[0][0] == '(' && args[0][grub_strlen (args[0]) - 1] == ')')
444 devname = grub_strdup (args[0] + 1);
449 devname = grub_strdup (args[0]);
451 else /* args[0] is the variable, we'll use root device */
531 grub_env_set (args[2], bootfs);
538 grub_env_set (args[1], bootfsname);
540 grub_env_set (args[0], bootfsname);