Searched refs:env (Results 1 - 25 of 48) sorted by relevance

12

/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/
H A Dtest.c34 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 Denv.c90 } 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 Dentry.c60 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 Dkernel.c78 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 Dmain.c31 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 Dclock.c77 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 Dcons.c90 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 Dserver.c21 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 Dserver.h18 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 Drumppci.c52 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 Drumpdma.c44 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 Dbuild_examples.sh10 source $TLD/build-env.sh || exit 1
/seL4-camkes-master/tools/cogent/
H A Dbuild-env.mk12 # 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 Dbuild-env.sh13 # 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 Dhelpers.h32 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 Dsel4_stdio_user.c29 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 Dtestspec.py47 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 Dclock.c27 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 Drun13 $json_process --env <$test_path/input >$test_log/stdout 2>$test_log/stderr
/seL4-camkes-master/projects/camkes-tool/tools/
H A Djinja_pylint.py1 #!/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 Dclock.c102 arch_init_clocks(env_t env) argument
105 uint64_t tsc_freq = env->custom_simple.timer_config.tsc_freq;
H A Darch.c28 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 Dutils.py1 #!/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 Dcamkes_link.sh.in33 -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 DcamkesUtilsLib.sml21 val env = get_ml_prog_state() |> get_env value
23 |> SPEC e |> CONV_RULE SWAP_FORALL_CONV |> SPEC env

Completed in 176 milliseconds

12