/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | component.rumprun.c | 16 #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 D | custom_simple.h | 69 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 D | main.c | 21 #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 D | simple.c | 17 #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 D | clock.c | 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); 107 seL4_Wait(env.custom_simple.timer_config.timer_ntfn, NULL);
|
H A D | entry.c | 169 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 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,
|
H A D | intr.c | 89 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 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/rumprun/platform/sel4/include/sel4/ |
H A D | helpers.h | 29 #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 D | rumppci.c | 52 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 D | clock.c | 42 timer_config_t *simple_timer_config = &env.custom_simple.timer_config;
|
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/ |
H A D | clock.c | 105 uint64_t tsc_freq = env->custom_simple.timer_config.tsc_freq;
|