Searched defs:deviceMemory (Results 1 - 8 of 8) sorted by relevance
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/object/ |
H A D | objecttype.c | 141 Mode_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory) argument
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/object/ |
H A D | objecttype.c | 190 Mode_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory) argument
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/object/ |
H A D | objecttype.c | 392 Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory) argument
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/object/ |
H A D | objecttype.c | 315 Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory) argument
|
/seL4-l4v-10.1.1/seL4/src/arch/riscv/object/ |
H A D | objecttype.c | 207 Arch_createObject(object_t t, void *regionBase, int userSize, bool_t deviceMemory) argument
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
H A D | objecttype.c | 465 Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory) argument
|
/seL4-l4v-10.1.1/seL4/src/object/ |
H A D | objecttype.c | 421 createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory) argument 489 createNewObjects(object_t t, cte_t *parent, slot_range_t slots, void *regionBase, word_t userSize, bool_t deviceMemory) argument
|
H A D | untyped.c | 47 bool_t deviceMemory; local 244 bool_t deviceMemory = cap_untyped_cap_get_capIsDevice(prev_cap); local 275 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 43 milliseconds