/seL4-refos-master/kernel/include/object/ |
H A D | cnode.h | 14 cte_t *cnode; member in struct:slot_range
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
H A D | pagedir.h | 47 vka_object_t cnode[PD_MAX]; /* Has ownership. */ member in struct:pd_list
|
/seL4-refos-master/apps/process_server/src/system/addrspace/ |
H A D | pagedir.h | 47 vka_object_t cnode[PD_MAX]; /* Has ownership. */ member in struct:pd_list
|
/seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/ |
H A D | simple1level.h | 24 seL4_CPtr cnode; member in struct:cspace_simple1level_config
|
H A D | single_level.h | 22 seL4_CPtr cnode; member in struct:cspace_single_level_config
|
H A D | two_level.h | 22 seL4_CPtr cnode; member in struct:cspace_two_level_config
|
/seL4-refos-master/libs/libsel4simple/src/ |
H A D | simple.c | 34 seL4_CNode cnode = simple_get_cnode(simple); local
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
H A D | simple1level.h | 24 seL4_CPtr cnode; member in struct:cspace_simple1level_config
|
H A D | single_level.h | 22 seL4_CPtr cnode; member in struct:cspace_single_level_config
|
H A D | two_level.h | 22 seL4_CPtr cnode; member in struct:cspace_two_level_config
|
/seL4-refos-master/projects/seL4_libs/libsel4simple/src/ |
H A D | simple.c | 34 seL4_CNode cnode = simple_get_cnode(simple); local
|
/seL4-refos-master/kernel/include/kernel/ |
H A D | boot.h | 114 pptr_t cnode; member in struct:__anon15
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | thread_config.h | 176 static inline sel4utils_thread_config_t thread_config_default(simple_t *simple, seL4_CPtr cnode, seL4_Word data, argument
|
H A D | process_config.h | 45 vka_object_t cnode; member in struct:__anon3 106 static inline sel4utils_process_config_t process_config_cnode(sel4utils_process_config_t config, vka_object_t cnode) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | thread_config.h | 176 static inline sel4utils_thread_config_t thread_config_default(simple_t *simple, seL4_CPtr cnode, seL4_Word data, argument
|
H A D | process_config.h | 45 vka_object_t cnode; member in struct:__anon4 106 static inline sel4utils_process_config_t process_config_cnode(sel4utils_process_config_t config, vka_object_t cnode) argument
|
/seL4-refos-master/kernel/src/machine/ |
H A D | capdl.c | 162 void obj_cnode_print_attrs(cap_t cnode) argument 167 void obj_tcb_print_cnodes(cap_t cnode, tcb_t *tcb) argument 196 cap_cnode_print_attrs(cap_t cnode) argument [all...] |
/seL4-refos-master/kernel/src/object/ |
H A D | cnode.c | 896 cap_t cnode; local
|
/seL4-refos-master/libs/libsel4allocman/src/ |
H A D | bootstrap.c | 321 static int _retype_cnode(bootstrap_info_t *bs, cspacepath_t ut, cspacepath_t cnode, seL4_Word sel4_size) { argument 410 static int bootstrap_use_current_1level_cspace(bootstrap_info_t *bs, seL4_CPtr cnode, size_ argument 502 seL4_CPtr cnode = simple_get_cnode(simple); local 540 bootstrap_new_2level_cspace(bootstrap_info_t *bs, size_t l1size, size_t l2size, seL4_CPtr cnode, seL4_CPtr old_cnode, size_t total_caps) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | bootstrap.c | 321 static int _retype_cnode(bootstrap_info_t *bs, cspacepath_t ut, cspacepath_t cnode, seL4_Word sel4_size) { argument 410 static int bootstrap_use_current_1level_cspace(bootstrap_info_t *bs, seL4_CPtr cnode, size_ argument 502 seL4_CPtr cnode = simple_get_cnode(simple); local 540 bootstrap_new_2level_cspace(bootstrap_info_t *bs, size_t l1size, size_t l2size, seL4_CPtr cnode, seL4_CPtr old_cnode, size_t total_caps) argument [all...] |