Searched defs:env (Results 1 - 9 of 9) sorted by relevance
| /seL4-camkes-master/tools/rumprun/platform/sel4/arch/arm/ |
| H A D | clock.c | 27 arch_init_clocks(env_t env) argument
|
| /seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/ |
| H A D | clock.c | 102 arch_init_clocks(env_t env) argument
|
| /seL4-camkes-master/projects/cakeml_libs/meta_utils/ |
| H A D | camkesUtilsLib.sml | 21 val env = get_ml_prog_state() |> get_env value
|
| /seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/ |
| H A D | test.c | 34 test_server_spawn(struct env *env) argument
48 test_parent_connect(struct env *env) argument
72 test_parent_printf(struct env *env) argument
98 test_parent_write(struct env *env) argument
125 test_parent_disconnect_reconnect_write_and_printf(struct env *env) argument
177 test_kill_from_parent(struct env *env) argument
205 test_spawn_thread_inputs(struct env *env) argument
229 test_connect_inputs(struct env *env) argument
266 test_printf_inputs(struct env *env) argument
294 test_write_inputs(struct env *env) argument
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/ |
| H A D | helpers.h | 32 struct env { struct
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4rpc/src/ |
| H A D | server.c | 21 static int sel4rpc_handle_memory(sel4rpc_server_env_t *env, RpcMessage *rpcMsg) argument
58 sel4rpc_handle_ioport(sel4rpc_server_env_t *env, RpcMessage *rpcMsg) argument
85 sel4rpc_handle_irq(sel4rpc_server_env_t *env, RpcMessage *rpcMsg) argument
150 sel4rpc_default_handler(sel4rpc_server_env_t *env, UNUSED void *data, RpcMessage *rpcMsg) argument
168 sel4rpc_server_init(sel4rpc_server_env_t *env, vka_t *vka, sel4rpc_handler_t handler_func, void *data, vka_object_t *reply, simple_t *simple) argument
179 sel4rpc_server_reply(sel4rpc_server_env_t *env, int caps, int errorCode, int cookie) argument
208 sel4rpc_server_recv(sel4rpc_server_env_t *env) argument
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/sel4/ |
| H A D | entry.c | 60 struct env env = { variable in typeref:struct:env
154 static void init_allocator(env_t env) argument
196 provide_vmem(env_t env) argument
[all...] |
| /seL4-camkes-master/projects/sel4runtime/src/ |
| H A D | env.c | 90 } env = { variable in typeref:struct:__anon6
[all...] |
| /seL4-camkes-master/projects/seL4_libs/libsel4test/include/sel4test/ |
| H A D | test.h | 44 struct env { struct
|
Completed in 266 milliseconds