/seL4-refos-master/kernel/include/ |
H A D | object.h | 9 #include <object/structures.h> 10 #include <object/objecttype.h> 11 #include <object/notification.h> 12 #include <object/cnode.h> 13 #include <object/endpoint.h> 14 #include <object/interrupt.h> 15 #include <object/objecttype.h> 16 #include <object/structures.h> 17 #include <object/tcb.h> 18 #include <object/untype [all...] |
/seL4-refos-master/libs/libutils/src/ |
H A D | debug.c | 28 int object; local 30 for (object = 0; object < num_objects; object++) { 31 int object_offset = object * word_size; 32 if (MD_GROUPING > word_size && object % ((MD_GROUPING) / word_size) == 0) { 64 for (object = 0; object < MD_BYTES_PER_LINE; object++) { 65 if (line[object] < 3 [all...] |
/seL4-refos-master/projects/util_libs/libutils/src/ |
H A D | debug.c | 28 int object; local 30 for (object = 0; object < num_objects; object++) { 31 int object_offset = object * word_size; 32 if (MD_GROUPING > word_size && object % ((MD_GROUPING) / word_size) == 0) { 64 for (object = 0; object < MD_BYTES_PER_LINE; object++) { 65 if (line[object] < 3 [all...] |
/seL4-refos-master/kernel/src/config/ |
H A D | default_domain.c | 7 #include <object/structures.h>
|
/seL4-refos-master/kernel/include/arch/arm/arch/object/ |
H A D | structures.h | 9 #include <mode/object/structures.h>
|
/seL4-refos-master/kernel/include/arch/riscv/arch/ |
H A D | benchmark.h | 11 #include <arch/object/structures.h>
|
/seL4-refos-master/libs/libsel4vka/include/vka/ |
H A D | object_capops.h | 16 #include <vka/object.h> 19 * Mint an object cap across cspaces, allocating a new slot in the dest cspace. 21 * @param[in] src_vka the vka the object cap was allocated with. 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 36 vka_cspace_make_path(src_vka, object->cptr, &src); 41 * Mint an object cap into a new cslot in the same cspace. 44 * @param[in] object target object for cap minting. 50 vka_mint_object(vka_t *vka, vka_object_t *object, cspacepath_t *result, argument 53 return vka_mint_object_inter_cspace(vka, object, vk [all...] |
H A D | ipcbuffer.h | 19 #include <vka/object.h>
|
H A D | object.h | 24 * A wrapper to hold all the allocation information for an 'object' 25 * An object here is just combination of cptr and untyped allocation 38 * Generic object allocator used by functions below, can also be used directly 46 ZF_LOGE("Unknown object type: %ld", (long) type); 63 ZF_LOGE("Failed to allocate object of size %lu, error %d", 70 ZF_LOGE("Failed to allocate object of size %lu at paddr %p, error %d", 100 * note you cannot use this if you intend to free the object */ 108 static inline void vka_free_object(vka_t *vka, vka_object_t *object) argument 111 vka_cspace_make_path(vka, object->cptr, &path); 114 ZF_LOGE("Failed to create cspace path to object"); 125 vka_object_paddr(vka_t *vka, vka_object_t *object) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | object_capops.h | 16 #include <vka/object.h> 19 * Mint an object cap across cspaces, allocating a new slot in the dest cspace. 21 * @param[in] src_vka the vka the object cap was allocated with. 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 36 vka_cspace_make_path(src_vka, object->cptr, &src); 41 * Mint an object cap into a new cslot in the same cspace. 44 * @param[in] object target object for cap minting. 50 vka_mint_object(vka_t *vka, vka_object_t *object, cspacepath_t *result, argument 53 return vka_mint_object_inter_cspace(vka, object, vk [all...] |
H A D | ipcbuffer.h | 19 #include <vka/object.h>
|
H A D | object.h | 24 * A wrapper to hold all the allocation information for an 'object' 25 * An object here is just combination of cptr and untyped allocation 38 * Generic object allocator used by functions below, can also be used directly 46 ZF_LOGE("Unknown object type: %ld", (long) type); 63 ZF_LOGE("Failed to allocate object of size %lu, error %d", 70 ZF_LOGE("Failed to allocate object of size %lu at paddr %p, error %d", 100 * note you cannot use this if you intend to free the object */ 108 static inline void vka_free_object(vka_t *vka, vka_object_t *object) argument 111 vka_cspace_make_path(vka, object->cptr, &path); 114 ZF_LOGE("Failed to create cspace path to object"); 125 vka_object_paddr(vka_t *vka, vka_object_t *object) argument [all...] |
/seL4-refos-master/kernel/include/arch/riscv/arch/kernel/ |
H A D | thread.h | 10 #include <object.h>
|
/seL4-refos-master/kernel/include/arch/arm/arch/kernel/ |
H A D | thread.h | 9 #include <object.h>
|
/seL4-refos-master/kernel/include/arch/x86/arch/object/ |
H A D | tcb.h | 11 #include <object/structures.h>
|
H A D | interrupt.h | 11 #include <object/structures.h>
|
/seL4-refos-master/kernel/include/object/ |
H A D | schedcontrol.h | 11 #include <object/structures.h>
|
/seL4-refos-master/kernel/src/arch/riscv/object/ |
H A D | tcb.c | 11 #include <object/structures.h> 13 #include <object/tcb.h>
|
/seL4-refos-master/libs/libsel4platsupport/include/sel4platsupport/ |
H A D | pmem.h | 18 #include <vka/object.h>
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
H A D | pmem.h | 18 #include <vka/object.h>
|
/seL4-refos-master/kernel/src/model/ |
H A D | smp.c | 9 #include <object/tcb.h>
|
/seL4-refos-master/kernel/include/arch/riscv/arch/object/ |
H A D | interrupt.h | 11 #include <object/structures.h>
|
/seL4-refos-master/kernel/include/arch/x86/arch/kernel/ |
H A D | thread.h | 9 #include <object.h>
|
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/model/ |
H A D | statedata.h | 11 #include <object/structures.h>
|
/seL4-refos-master/kernel/include/api/ |
H A D | faults.h | 9 #include <object/structures.h>
|