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 Ddynamic-untyped-allocators.template.c25 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 Ddynamic-untyped-allocators.template.h22 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 Dcomponent.rumprun.c22 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 Dx86-iospace-dma.template.c50 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