Searched refs:cmdline_len (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | component.rumprun.c | 43 int cmdline_len = strlen(format_string) + strlen(network_string) + strlen(rump_config.cmdline) + 1; local
44 custom_simple.cmdline = malloc(cmdline_len);
45 ZF_LOGF_IF(custom_simple.cmdline == NULL, "Failed to allocate cmdline memory of size: %d", cmdline_len);
46 snprintf(custom_simple.cmdline, cmdline_len, format_string, network_string, rump_config.cmdline);
|
| /seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
| H A D | config.c | 753 size_t cmdline_len; local
774 cmdline_len = strlen(cmdline);
776 ntok = jsmn_parse(&p, cmdline, cmdline_len, NULL, 0);
788 if ((ntok = jsmn_parse(&p, cmdline, cmdline_len, tokens, ntok)) < 1) {
|
Completed in 30 milliseconds