Searched refs:slot_range_t (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/seL4/include/object/
H A Duntyped.h36 word_t userSize, slot_range_t destSlots,
H A Dcnode.h18 typedef struct slot_range slot_range_t; typedef in typeref:struct:slot_range
H A Dobjecttype.h26 void createNewObjects(object_t t, cte_t *parent, slot_range_t slots,
/seL4-l4v-master/seL4/src/object/
H A Duntyped.c38 slot_range_t slots;
279 slot_range_t destSlots, bool_t deviceMemory)
H A Dobjecttype.c586 void createNewObjects(object_t t, cte_t *parent, slot_range_t slots,

Completed in 40 milliseconds