Searched refs:custom_simple (Results 1 - 13 of 13) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.rumprun.c16 #include <rumprun/custom_simple.h>
23 static custom_simple_t custom_simple; variable
44 custom_simple.cmdline = malloc(cmdline_len);
45 ZF_LOGF_IF(custom_simple.cmdline == NULL, "Failed to allocate cmdline memory of size: %d", cmdline_len);
46 snprintf(custom_simple.cmdline, cmdline_len, format_string, network_string, rump_config.cmdline);
50 custom_simple.priority = rump_priority;
51 custom_simple.rumprun_memory_size = /*? rump_config.get('rumprun_memory_size') ?*/;
52 custom_simple.simple = &camkes_simple;
53 custom_simple.camkes = true;
54 custom_simple
[all...]
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/rumprun/
H A Dcustom_simple.h69 typedef struct custom_simple { struct
86 static inline bool is_ltimer(custom_simple_t *custom_simple) argument
88 return custom_simple->timer_config.timer == TIMER_LTIMER;
91 static inline bool is_hw_serial(custom_simple_t *custom_simple) argument
93 return custom_simple->serial_config.serial == SERIAL_SERVER;
96 static inline bool is_hw_pci_config(custom_simple_t *custom_simple) argument
98 return custom_simple->pci_config_config.pci_config == PCI_CONFIG_HW;
101 static inline int custom_irq_from_pci_device(custom_simple_t *custom_simple, argument
104 if (custom_simple->camkes || irq == NULL) {
108 init_data_t *init_data = custom_simple
[all...]
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dmain.c21 #include <rumprun/custom_simple.h>
25 int init_rumprun(custom_simple_t *custom_simple);
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 Dsimple.c17 #include <rumprun/custom_simple.h>
108 int custom_simple_vspace_bootstrap_frames(custom_simple_t *custom_simple, vspace_t *vspace, sel4utils_alloc_data_t *alloc_data, argument
111 if (custom_simple->camkes) {
115 return sel4utils_bootstrap_vspace(vspace, alloc_data, simple_get_pd(custom_simple->simple), vka,
119 init_data_t *init_data = custom_simple->simple->data;
134 return sel4utils_bootstrap_vspace(vspace, alloc_data, simple_get_pd(custom_simple->simple), vka,
139 int custom_get_priority(custom_simple_t *custom_simple) argument
141 return custom_simple->priority;
144 const char *custom_get_cmdline(custom_simple_t *custom_simple) argument
146 return custom_simple
165 custom_get_num_regions(custom_simple_t *custom_simple) argument
183 custom_get_region_list(custom_simple_t *custom_simple, int num_regions, pmem_region_t *regions) argument
215 simple_init_rumprun(custom_simple_t *custom_simple, seL4_CPtr endpoint) argument
[all...]
H A Dclock.c94 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);
107 seL4_Wait(env.custom_simple.timer_config.timer_ntfn, NULL);
H A Dentry.c169 int num_regions = custom_get_num_regions(&env->custom_simple);
172 error = custom_get_region_list(&env->custom_simple, num_regions, regions);
177 error = custom_simple_vspace_bootstrap_frames(&env->custom_simple, &env->vspace, &alloc_data, &env->vka);
203 size_t rumprun_size = env->custom_simple.rumprun_memory_size;
237 seL4_Signal(env.custom_simple.timer_config.timer_ntfn);
260 if (env.custom_simple.get_char_handler) {
261 env.custom_simple.get_char_handler();
271 seL4_Wait(env.custom_simple.stdio_ep[0], &sender_badge);
276 void preinit_rumprun(custom_simple_t *custom_simple) argument
278 if (custom_simple !
290 init_rumprun(custom_simple_t *custom_simple) argument
[all...]
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,
H A Dintr.c89 if (is_hw_pci_config(&env.custom_simple)) {
95 env.custom_simple.ethernet_intr_config.eth_irq_acknowledge();
/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/rumprun/platform/sel4/include/sel4/
H A Dhelpers.h29 #include <rumprun/custom_simple.h>
43 custom_simple_t custom_simple; member in struct:env
80 void simple_init_rumprun(custom_simple_t *custom_simple, seL4_CPtr endpoint);
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/
H A Drumppci.c52 if (env.custom_simple.camkes) {
62 if (env.custom_simple.camkes) {
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.custom_simple.camkes) {
195 error = custom_irq_from_pci_device(&env.custom_simple, pci_data[cookie].bus, pci_data[cookie].dev,
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/arm/
H A Dclock.c42 timer_config_t *simple_timer_config = &env.custom_simple.timer_config;
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/
H A Dclock.c105 uint64_t tsc_freq = env->custom_simple.timer_config.tsc_freq;

Completed in 71 milliseconds