Searched defs:object (Results 1 - 12 of 12) sorted by relevance
| /seL4-test-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | object_capops.h | 28 vka_mint_object_inter_cspace(vka_t *src_vka, vka_object_t *object, vka_t *dest_vka, cspacepath_t *result, seL4_CapRights_t rights, seL4_Word badge) argument
50 vka_mint_object(vka_t *vka, vka_object_t *object, cspacepath_t *result, argument
[all...] |
| H A D | object.h | 108 static inline void vka_free_object(vka_t *vka, vka_object_t *object) argument
125 vka_object_paddr(vka_t *vka, vka_object_t *object) argument
[all...] |
| /seL4-test-master/projects/util_libs/libutils/src/ |
| H A D | debug.c | 28 int object; local
[all...] |
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | boot.c | 59 vka_object_t object; local
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | process.h | 31 vka_object_t object; member in struct:object_node
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | mapping.c | 48 vka_object_t object; local
|
| H A D | slab.c | 135 alloc_object(vka_t *delegate, vka_object_t *untyped, size_t size_bits, seL4_Word type, vka_object_t *object) argument
[all...] |
| H A D | process.c | 38 void sel4utils_allocated_object(void *cookie, vka_object_t object) argument
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/ |
| H A D | guest_memory_util.c | 74 vka_object_t object; local
119 vka_object_t object; local
142 vka_object_t object; local
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/ |
| H A D | guest_ram.c | 250 vka_object_t object; local
274 vka_object_t object; local
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 315 vka_object_t object; local
|
| /seL4-test-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
| H A D | vspace.h | 855 static inline void vspace_maybe_call_allocated_object(vspace_t *vspace, vka_object_t object) argument
|
Completed in 63 milliseconds