src/object/objecttype.c

507 cap_t createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory)
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_t deviceMemory)
595     objectSize = getObjectSize(t, userSize);
605         cap_t cap = createObject(t, (void *)((word_t)nextFreeArea + (i << objectSize)), userSize, deviceMemory);