Searched refs:object (Results 1 - 25 of 235) sorted by relevance

12345678910

/seL4-refos-master/kernel/include/
H A Dobject.h9 #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 Ddebug.c28 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 Ddebug.c28 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 Ddefault_domain.c7 #include <object/structures.h>
/seL4-refos-master/kernel/include/arch/arm/arch/object/
H A Dstructures.h9 #include <mode/object/structures.h>
/seL4-refos-master/kernel/include/arch/riscv/arch/
H A Dbenchmark.h11 #include <arch/object/structures.h>
/seL4-refos-master/libs/libsel4vka/include/vka/
H A Dobject_capops.h16 #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 Dipcbuffer.h19 #include <vka/object.h>
H A Dobject.h24 * 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 Dobject_capops.h16 #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 Dipcbuffer.h19 #include <vka/object.h>
H A Dobject.h24 * 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 Dthread.h10 #include <object.h>
/seL4-refos-master/kernel/include/arch/arm/arch/kernel/
H A Dthread.h9 #include <object.h>
/seL4-refos-master/kernel/include/arch/x86/arch/object/
H A Dtcb.h11 #include <object/structures.h>
H A Dinterrupt.h11 #include <object/structures.h>
/seL4-refos-master/kernel/include/object/
H A Dschedcontrol.h11 #include <object/structures.h>
/seL4-refos-master/kernel/src/arch/riscv/object/
H A Dtcb.c11 #include <object/structures.h>
13 #include <object/tcb.h>
/seL4-refos-master/libs/libsel4platsupport/include/sel4platsupport/
H A Dpmem.h18 #include <vka/object.h>
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dpmem.h18 #include <vka/object.h>
/seL4-refos-master/kernel/src/model/
H A Dsmp.c9 #include <object/tcb.h>
/seL4-refos-master/kernel/include/arch/riscv/arch/object/
H A Dinterrupt.h11 #include <object/structures.h>
/seL4-refos-master/kernel/include/arch/x86/arch/kernel/
H A Dthread.h9 #include <object.h>
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/model/
H A Dstatedata.h11 #include <object/structures.h>
/seL4-refos-master/kernel/include/api/
H A Dfaults.h9 #include <object/structures.h>

Completed in 207 milliseconds

12345678910