/seL4-l4v-master/seL4/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-l4v-master/seL4/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-l4v-master/seL4/include/object/ |
H A D | untyped.h | 36 word_t userSize, slot_range_t destSlots,
|
H A D | objecttype.h | 27 void *regionBase, word_t userSize, bool_t deviceMemory);
|
/seL4-l4v-master/seL4/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-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 511 return Arch_createObject(t, regionBase, userSize, deviceMemory); 557 /** AUXUPD: "(True, ptr_arr_retyps (2 ^ (unat \<acute>userSize)) 559 /** GHOSTUPD: "(True, gs_new_cnodes (unat \<acute>userSize) 561 (4 + unat \<acute>userSize))" */ 562 return cap_cnode_cap_new(userSize, 0, 0, CTE_REF(regionBase)); 569 return cap_untyped_cap_new(0, !!deviceMemory, userSize, WORD_REF(regionBase)); 573 memzero(regionBase, BIT(userSize)); 574 return cap_sched_context_cap_new(SC_REF(regionBase), userSize); 587 void *regionBase, word_t userSize, bool_ 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 | 278 object_t newType, word_t userSize, 295 * Note that userSize is not necessarily the true size of the object in 298 totalObjectSize = destSlots.length << getObjectSize(newType, userSize); 304 createNewObjects(newType, srcSlot, destSlots, retypeBase, userSize, 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
|
/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 498 return Mode_createObject(t, regionBase, userSize, deviceMemory);
|
/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/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
|