Searched refs:create_it_frame_cap (Results 1 - 4 of 4) sorted by relevance
| /seL4-test-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 466 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, function
492 return create_it_frame_cap(pptr, 0, asidInvalid, use_large, X86_MappingNone);
498 cap_t cap = create_it_frame_cap(pptr, vptr, asid, use_large, X86_MappingVSpace);
|
| /seL4-test-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 762 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, seL4_Word map_type) function
786 return create_it_frame_cap(pptr, 0, asidInvalid, use_large, X86_MappingNone);
792 cap_t cap = create_it_frame_cap(pptr, vptr, asid, use_large, X86_MappingVSpace);
|
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 461 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large) function
573 return create_it_frame_cap(pptr, 0, asidInvalid, use_large);
579 cap_t cap = create_it_frame_cap(pptr, vptr, asid, use_large);
|
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 343 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large) function
523 return create_it_frame_cap(pptr, 0, asidInvalid, use_large);
529 cap_t cap = create_it_frame_cap(pptr, vptr, asid, use_large);
|
Completed in 68 milliseconds