Searched refs:custom_get_cmdline (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/rumprun/
H A Dcustom_simple.h131 const char *custom_get_cmdline(custom_simple_t *custom_simple);
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dsimple.c144 const char *custom_get_cmdline(custom_simple_t *custom_simple) function
H A Dentry.c351 struct rumprun_boot_config rumprun_config = {(char *)custom_get_cmdline(&env.custom_simple), CONFIG_RUMPRUN_TMPFS_NUM_MiB};

Completed in 80 milliseconds