Searched refs:userSize (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-master/seL4/include/arch/x86/arch/object/
H A Dobjecttype.h22 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 Dobjecttype.h22 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory);
/seL4-l4v-master/seL4/include/object/
H A Duntyped.h36 word_t userSize, slot_range_t destSlots,
H A Dobjecttype.h27 void *regionBase, word_t userSize, bool_t deviceMemory);
/seL4-l4v-master/seL4/include/arch/riscv/arch/object/
H A Dobjecttype.h21 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory);
/seL4-l4v-master/seL4/src/object/
H A Dobjecttype.c507 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 Duntyped.c278 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 Dobjecttype.c133 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 Dobjecttype.c459 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 Dobjecttype.c180 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 Dobjecttype.c194 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 Dobjecttype.c379 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 Dobjecttype.c386 cap_t Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory) argument

Completed in 99 milliseconds