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

/seL4-refos-master/projects/refos/impl/apps/selfloader/src/
H A Dselfloader.c381 char system_call_table_env[ENV_STR_SIZE]; local
382 snprintf(system_call_table_env, ENV_STR_SIZE, "SYSTABLE=%x", (unsigned int) syscall_table);
384 char *envp[] = {ipc_buf_env, system_call_table_env};
/seL4-refos-master/apps/selfloader/src/
H A Dselfloader.c381 char system_call_table_env[ENV_STR_SIZE]; local
382 snprintf(system_call_table_env, ENV_STR_SIZE, "SYSTABLE=%x", (unsigned int) syscall_table);
384 char *envp[] = {ipc_buf_env, system_call_table_env};

Completed in 37 milliseconds