Searched refs:camkes_simple (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/projects/global-components/components/modules/dynamic-untyped-allocators/templates/ |
H A D | dynamic-untyped-allocators.template.c | 25 static simple_t camkes_simple; variable 47 camkes_make_simple(&camkes_simple); 51 simple_get_cnode(&camkes_simple), 52 simple_get_cnode_size_bits(&camkes_simple), 53 simple_last_valid_cap(&camkes_simple) + 1, 54 BIT(simple_get_cnode_size_bits(&camkes_simple)), 58 error = allocman_add_simple_untypeds(allocman, &camkes_simple); 63 simple_get_init_cap(&camkes_simple, seL4_CapInitThreadPD), &vka, NULL, NULL, existing_frames); 68 error = (*init_fun)(io_ops, &vka, &camkes_simple, &vspace);
|
H A D | dynamic-untyped-allocators.template.h | 22 typedef int (*camkes_dynamic_module_init_fn_t)(ps_io_ops_t *io_ops, vka_t *vka, simple_t *camkes_simple, vspace_t *vspace);
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | component.rumprun.c | 22 static simple_t camkes_simple; variable 48 camkes_make_simple(&camkes_simple); 52 custom_simple.simple = &camkes_simple;
|
/seL4-camkes-master/projects/global-components/components/modules/x86-iospace-dma/templates/ |
H A D | x86-iospace-dma.template.c | 50 int pc99_iospace_setup(ps_io_ops_t *io_ops, vka_t *vka, simple_t *camkes_simple, vspace_t *vspace) argument 70 error = simple_get_iospace(camkes_simple, iospace_id, pci_bdf_int, &iospace);
|
Completed in 66 milliseconds