Searched defs:userSize (Results 1 - 8 of 8) sorted by relevance
/seL4-l4v-master/seL4/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) argument
|
/seL4-l4v-master/seL4/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) argument
|
/seL4-l4v-master/seL4/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) argument
|
/seL4-l4v-master/seL4/src/arch/riscv/object/ |
H A D | objecttype.c | 194 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t argument
|
/seL4-l4v-master/seL4/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) argument
|
/seL4-l4v-master/seL4/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) argument
|
/seL4-l4v-master/seL4/src/object/ |
H A D | objecttype.c | 507 cap_t createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory) argument 586 createNewObjects(object_t t, cte_t *parent, slot_range_t slots, void *regionBase, word_t userSize, bool_t deviceMemory) argument [all...] |
H A D | untyped.c | 276 invokeUntyped_Retype(cte_t *srcSlot, bool_t reset, void *retypeBase, object_t newType, word_t userSize, slot_range_t destSlots, bool_t deviceMemory) argument
|
Completed in 50 milliseconds