Searched refs:object_t (Results 1 - 16 of 16) sorted by relevance
/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
H A D | objecttype.h | 21 typedef seL4_Word object_t; typedef
|
/seL4-camkes-master/kernel/libsel4/arch_include/arm/sel4/arch/ |
H A D | objecttype.h | 31 typedef seL4_Word object_t; typedef
|
/seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/ |
H A D | objecttype.h | 30 typedef seL4_Word object_t; typedef
|
/seL4-camkes-master/kernel/include/arch/x86/arch/object/ |
H A D | objecttype.h | 22 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory); 33 cap_t Mode_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory);
|
/seL4-camkes-master/kernel/include/object/ |
H A D | objecttype.h | 25 cap_t createObject(object_t t, void *regionBase, word_t, bool_t deviceMemory); 26 void createNewObjects(object_t t, cte_t *parent, slot_range_t slots,
|
H A D | untyped.h | 35 void *retypeBase, object_t newType,
|
/seL4-camkes-master/kernel/include/arch/arm/arch/object/ |
H A D | objecttype.h | 22 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory);
|
/seL4-camkes-master/kernel/include/arch/riscv/arch/object/ |
H A D | objecttype.h | 21 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory);
|
/seL4-camkes-master/kernel/src/arch/x86/32/object/ |
H A D | objecttype.c | 133 cap_t Mode_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory)
|
/seL4-camkes-master/kernel/src/object/ |
H A D | objecttype.c | 507 cap_t createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory) 510 if (t >= (object_t) seL4_NonArchObjectTypeCount) { 586 void createNewObjects(object_t t, cte_t *parent, slot_range_t slots,
|
H A D | untyped.c | 278 object_t newType, word_t userSize,
|
/seL4-camkes-master/kernel/src/arch/x86/64/object/ |
H A D | objecttype.c | 180 cap_t Mode_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory)
|
/seL4-camkes-master/kernel/src/arch/riscv/object/ |
H A D | objecttype.c | 194 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t
|
/seL4-camkes-master/kernel/src/arch/x86/object/ |
H A D | objecttype.c | 459 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory)
|
/seL4-camkes-master/kernel/src/arch/arm/32/object/ |
H A D | objecttype.c | 379 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory)
|
/seL4-camkes-master/kernel/src/arch/arm/64/object/ |
H A D | objecttype.c | 386 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory)
|
Completed in 84 milliseconds