Searched refs:module_cmd_line (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/tools/molly/
H A Dbuild_multiboot.c32 static char *module_cmd_line[MAX_MODULES]; variable
94 module_cmd_line[n_modules] = malloc(strlen(line) + 1);
95 sprintf(module_cmd_line[n_modules], "%s %s", image, args);
157 i+1, module_cmd_line[i]);
/barrelfish-master/tools/arm_molly/
H A Dbuild_multiboot.c27 static char *module_cmd_line[MAX_MODULES]; variable
99 module_cmd_line[n_modules] = malloc(strlen(line) + 1);
100 sprintf(module_cmd_line[n_modules], "%s %s", image, args);
185 i+1, module_cmd_line[i]);
202 i+1, module_cmd_line[i]);

Completed in 89 milliseconds