| /seL4-test-master/kernel/src/object/ |
| H A D | untyped.c | 41 bool_t deviceMemory; local
218 deviceMemory = cap_untyped_cap_get_capIsDevice(cap);
219 if ((deviceMemory && !Arch_isFrameType(newType))
235 slots, deviceMemory);
246 bool_t deviceMemory = cap_untyped_cap_get_capIsDevice(prev_cap); local
257 if (deviceMemory || block_size < chunk) {
258 if (! deviceMemory) {
279 slot_range_t destSlots, bool_t deviceMemory)
305 deviceMemory);
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
|
| 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);
569 return cap_untyped_cap_new(0, !!deviceMemory, userSize, WORD_REF(regionBase));
587 void *regionBase, word_t userSize, bool_t deviceMemory)
605 cap_t cap = createObject(t, (void *)((word_t)nextFreeArea + (i << objectSize)), userSize, deviceMemory);
586 createNewObjects(object_t t, cte_t *parent, slot_range_t slots, void *regionBase, word_t userSize, bool_t deviceMemory) argument
|
| /seL4-test-master/kernel/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
185 if (deviceMemory) {
205 deviceMemory /* capFIsDevice */
209 if (deviceMemory) {
229 deviceMemory /* capFIsDevice */
233 if (deviceMemory) {
253 deviceMemory /* capFIsDevice */
|
| /seL4-test-master/kernel/src/arch/riscv/object/ |
| H A D | objecttype.c | 195 deviceMemory)
199 if (deviceMemory) {
217 deviceMemory, /* capFIsDevice */
222 if (deviceMemory) {
240 deviceMemory, /* capFIsDevice */
247 if (deviceMemory) {
265 deviceMemory, /* capFIsDevice */
194 Arch_createObject(object_t t, void *regionBase, word_t userSize, bool_t deviceMemory) argument
|
| /seL4-test-master/kernel/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-test-master/kernel/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
383 if (deviceMemory) {
398 0, !!deviceMemory,
406 if (deviceMemory) {
421 0, !!deviceMemory, ASID_HIGH(asidInvalid),
425 if (deviceMemory) {
450 0, !!deviceMemory, ASID_HIGH(asidInvalid),
454 if (deviceMemory) {
479 0, !!deviceMemory, ASID_HIGH(asidInvalid),
|
| /seL4-test-master/kernel/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
142 deviceMemory, /* capFIsDevice */
154 deviceMemory, /* capFIsDevice */
|
| /seL4-test-master/kernel/include/object/ |
| H A D | objecttype.h | 25 cap_t createObject(object_t t, void *regionBase, word_t, bool_t deviceMemory);
27 void *regionBase, word_t userSize, bool_t deviceMemory);
|
| H A D | untyped.h | 37 bool_t deviceMemory);
|
| /seL4-test-master/kernel/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-test-master/kernel/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-test-master/kernel/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
396 !!deviceMemory /* capFIsDevice */
406 !!deviceMemory /* capFIsDevice */
416 !!deviceMemory /* capFIsDevice */
|
| /seL4-test-master/kernel/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);
|