Searched defs:cspace_root_data (Results 1 - 5 of 5) sorted by relevance
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | boot.c | 31 seL4_Word cspace_root_data; local
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
H A D | thread.c | 35 sel4utils_configure_thread(vka_t *vka, vspace_t *parent, vspace_t *alloc, seL4_CPtr fault_endpoint, seL4_CNode cspace, seL4_Word cspace_root_data, sel4utils_thread_t *res) argument
|
H A D | process.c | 507 seL4_Word cspace_root_data = api_make_guard_skip_word(seL4_WordBits - config.one_level_cspace_size_bits); local 442 create_cspace(vka_t *vka, int size_bits, sel4utils_process_t *process, seL4_Word cspace_root_data, seL4_CPtr asid_pool) argument
|
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | thread_config.h | 55 seL4_Word cspace_root_data; member in struct:sel4utils_thread_config 122 thread_config_cspace(sel4utils_thread_config_t config, seL4_CPtr cspace_root, seL4_Word cspace_root_data) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/ |
H A D | guest_vm.h | 164 seL4_Word cspace_root_data; member in struct:vm_cspace
|
Completed in 32 milliseconds