/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | test.c | 34 test_server_spawn(struct env *env) argument 38 error = serial_server_parent_spawn_thread(&env->simple, 39 &env->vka, &env->vspace, 48 test_parent_connect(struct env *env) argument 54 error = serial_server_parent_spawn_thread(&env->simple, 55 &env->vka, &env 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/projects/sel4runtime/src/ |
H A D | env.c | 90 } env = { variable in typeref:struct:__anon6 114 return env.process_name; 119 return env.argv; 124 return env.argc; 129 return env.envp; 134 return env.auxv; 139 return env.bootinfo; 144 return env.tls.region_size; 154 return env.initial_thread_tls_base != (sel4runtime_uintptr_t)SEL4RUNTIME_NULL; 181 if (env [all...] |
/seL4-camkes-master/tools/rumprun/platform/sel4/ |
H A D | entry.c | 60 struct env env = { variable in typeref:struct:env 116 caps[i] = vspace_get_cap(&env.vspace, vaddr); 121 cookies[i] = vspace_get_cookie(&env.vspace, vaddr); 125 vspace_unmap_pages(&env.vspace, addr, num_pages, BMK_PCPU_PAGE_SHIFT, VSPACE_PRESERVE); 130 res = vspace_reserve_range_at(&env.vspace, addr, len, rights, true); 133 error = vspace_map_pages_at_vaddr(&env.vspace, caps, cookies, addr, num_pages, BMK_PCPU_PAGE_SHIFT, res); 140 vspace_free_reservation(&env.vspace, res); 154 static void init_allocator(env_t env) argument 160 allocman_t *allocator = bootstrap_use_current_1level(simple_get_cnode(&env 196 provide_vmem(env_t env) argument [all...] |
H A D | kernel.c | 78 if (env.mask_the_mask) { 83 if (env.spldepth == 0) { 84 sync_bin_sem_wait(&env.spl_semaphore); 86 env.spldepth++; 93 if (env.mask_the_mask) { 97 if (env.spldepth == 0) { 100 if (--env.spldepth == 0) { 101 sync_bin_sem_post(&env.spl_semaphore);
|
H A D | main.c | 31 env.custom_simple.simple = &env.simple; 32 simple_init_rumprun(&env.custom_simple, endpoint); 33 preinit_rumprun(&env.custom_simple); 39 return init_rumprun(&env.custom_simple);
|
H A D | clock.c | 77 bmk_assert(env.spldepth > 0); 94 if (is_ltimer(&env.custom_simple)) { 95 res = ltimer_set_timeout(&env.custom_simple.timer_config.ltimer.ltimer, delta_ns, TIMEOUT_RELATIVE); 97 res = env.custom_simple.timer_config.interface.oneshot_relative(0, delta_ns); 105 env.should_wakeup = 1; 107 seL4_Wait(env.custom_simple.timer_config.timer_ntfn, NULL); 109 env.should_wakeup = 0;
|
H A D | cons.c | 90 if (env.custom_simple.serial_config.serial != SERIAL_SERVER) { 91 vcons_putc = env.custom_simple.serial_config.putchar; 94 int error = serial_server_client_connect(env.custom_simple.serial_config.ep, 95 &env.vka, &env.vspace, &context);
|
/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 26 error = vka_cspace_alloc_path(env->vka, &path); 29 sel4rpc_server_reply(env, 0, 1, 0); 34 error = vka_utspace_alloc_at(env->vka, &path, rpcMsg->msg.memory.type, rpcMsg->msg.memory.size_bits, 38 vka_cspace_free_path(env->vka, path); 39 sel4rpc_server_reply(env, 0, 1, 0); 44 int ret = sel4rpc_server_reply(env, 1, 0, cookie); 47 vka_cspace_free_path(env->vka, path); 51 vka_utspace_free(env->vka, rpcMsg->msg.memory.type, rpcMsg->msg.memory.size_bits, 54 return sel4rpc_server_reply(env, 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/projects/seL4_projects_libs/libsel4rpc/include/sel4rpc/ |
H A D | server.h | 18 typedef int (*sel4rpc_handler_t)(struct sel4rpc_env *env, void *data, RpcMessage *rpcMsg); 30 int sel4rpc_server_init(sel4rpc_server_env_t *env, vka_t *vka, 32 int sel4rpc_server_recv(sel4rpc_server_env_t *env); 33 int sel4rpc_server_reply(sel4rpc_server_env_t *env, int caps, int errorCode, int cookie); 34 int sel4rpc_default_handler(sel4rpc_server_env_t *env, UNUSED void *data, RpcMessage *rpcMsg);
|
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/ |
H A D | rumppci.c | 52 if (env.custom_simple.camkes) { 55 return ps_io_port_out(&env.io_ops.io_port_ops, port, io_size, val); 62 if (env.custom_simple.camkes) { 66 return ps_io_port_in(&env.io_ops.io_port_ops, port, io_size, result); 99 if (!is_hw_pci_config(&env.custom_simple)) { 100 *value = env.custom_simple.pci_config_config.pci_config_read32(bus, dev, fun, reg); 121 if (!is_hw_pci_config(&env.custom_simple)) { 122 env.custom_simple.pci_config_config.pci_config_write32(bus, dev, fun, reg, value); 172 if (env.caps[pci_data[cookie].intrs] == 0 && !env [all...] |
H A D | rumpdma.c | 44 void *mem = ps_dma_alloc(&env.io_ops.dma_manager, size, align, 1, PS_MEM_NORMAL); 48 uintptr_t pmem = ps_dma_pin(&env.io_ops.dma_manager, mem, size); 87 ps_dma_unpin(&env.io_ops.dma_manager, (void *)mem, size); 89 ps_dma_free(&env.io_ops.dma_manager, (void *)mem, size); 121 uintptr_t paddr = (uintptr_t) vka_utspace_paddr(&env.vka, vspace_get_cookie(&env.vspace, virt), 122 env.rump_mapping_page_type, env.rump_mapping_page_size_bits); 123 return paddr + (vin & MASK((unsigned int) env.rump_mapping_page_size_bits));
|
/seL4-camkes-master/tools/cogent/cogent/scripts/ |
H A D | build_examples.sh | 10 source $TLD/build-env.sh || exit 1
|
/seL4-camkes-master/tools/cogent/ |
H A D | build-env.mk | 12 # See ���build-env.sh��� for more information. 22 AC_DIR:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$AC_DIR") 23 ISABELLE:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$ISABELLE") 24 ISABELLE_BUILD:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$ISABELLE_BUILD") 26 PATH:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$PATH") 27 COGENT_LIBGUM_DIR:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$COGENT_LIBGUM_DIR") 29 L4V_ARCH:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$L4V_ARCH")
|
H A D | build-env.sh | 13 # All build scripts should ���source��� this file. For makefiles, use ���build-env.mk��� instead. 31 while test "$PWD" != '/' -a ! -f build-env.mk
|
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/ |
H A D | helpers.h | 32 struct env { struct 67 typedef struct env *env_t; 69 extern struct env env; 76 int arch_init_clocks(env_t env);
|
/seL4-camkes-master/tools/rumprun/platform/sel4/librumpsel4_stdio/ |
H A D | sel4_stdio_user.c | 29 buffer[stdio] = env.custom_simple.stdio_buf[stdio]; 43 seL4_Signal(env.custom_simple.stdio_ep[stdio]); 63 env.custom_simple.get_char_handler = handler;
|
/seL4-camkes-master/tools/cogent/regression/ |
H A D | testspec.py | 47 def parse_attributes(tag, env, strict=True): 49 updating the given "env" to reflect them.""" 52 env.timeout = int(tag.get("timeout")) 57 env.cwd = tag.get("cwd") 59 env.depends |= set(tag.get("depends").split()) 61 def parse_test(doc, env, strict=True): 63 env = copy.deepcopy(env) 64 parse_attributes(doc, env, strict=strict) 66 timeout=env [all...] |
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/arm/ |
H A D | clock.c | 27 arch_init_clocks(env_t env) argument 42 timer_config_t *simple_timer_config = &env.custom_simple.timer_config;
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/invalid-unicode/ |
H A D | run | 13 $json_process --env <$test_path/input >$test_log/stdout 2>$test_log/stderr
|
/seL4-camkes-master/projects/camkes-tool/tools/ |
H A D | jinja_pylint.py | 1 #!/usr/bin/env python 44 env = jinja2.Environment( 58 env.compile_templates(tmp, filter_func=lambda x: x == template, zip=None,
|
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/ |
H A D | clock.c | 102 arch_init_clocks(env_t env) argument 105 uint64_t tsc_freq = env->custom_simple.timer_config.tsc_freq;
|
H A D | arch.c | 28 return seL4_CNode_Copy(root, dest, depth, simple_get_cnode(&env.simple), init->io_port, CONFIG_WORD_SIZE, seL4_AllRights);
|
/seL4-camkes-master/projects/camkes-tool/camkes/internal/tests/ |
H A D | utils.py | 1 #!/usr/bin/env python 116 def execute(self, argv, cwd=os.getcwd(), env=os.environ): 118 stderr=subprocess.PIPE, cwd=cwd, env=env, universal_newlines=True)
|
/seL4-camkes-master/tools/rumprun/platform/sel4/camkes/ |
H A D | camkes_link.sh.in | 33 -G rumprun_platform_rumpuser_init -G _start -G env -G _zf_log_write_d -G _zf_log_write \
|
/seL4-camkes-master/projects/cakeml_libs/meta_utils/ |
H A D | camkesUtilsLib.sml | 21 val env = get_ml_prog_state() |> get_env value 23 |> SPEC e |> CONV_RULE SWAP_FORALL_CONV |> SPEC env
|