| /seL4-master/include/arch/arm/arch/kernel/ |
| A D | boot.h | 11 cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large);
12 …t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large,
|
| A D | vspace.h | 19 cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large);
20 …t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large,
|
| /seL4-master/include/arch/riscv/arch/kernel/ |
| A D | boot.h | 13 cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large);
14 …t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large,
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | boot.h | 26 cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large);
27 …t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large,
|
| /seL4-master/src/arch/x86/32/kernel/ |
| 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, in create_it_frame_cap() argument
471 if (use_large) { in create_it_frame_cap()
490 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) in create_unmapped_it_frame_cap() argument
492 return create_it_frame_cap(pptr, 0, asidInvalid, use_large, X86_MappingNone); in create_unmapped_it_frame_cap()
495 …eate_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, in create_mapped_it_frame_cap() argument
498 cap_t cap = create_it_frame_cap(pptr, vptr, asid, use_large, X86_MappingVSpace); in create_mapped_it_frame_cap()
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | boot.c | 29 use_large, bool_t executable) in create_mapped_it_frame_cap() argument
34 if (use_large) { in create_mapped_it_frame_cap()
|
| A D | vspace.c | 222 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) in create_unmapped_it_frame_cap() argument
|
| /seL4-master/src/arch/x86/64/kernel/ |
| 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,… in create_it_frame_cap() argument
766 if (use_large) { in create_it_frame_cap()
784 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) in create_unmapped_it_frame_cap() argument
786 return create_it_frame_cap(pptr, 0, asidInvalid, use_large, X86_MappingNone); in create_unmapped_it_frame_cap()
789 …eate_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, in create_mapped_it_frame_cap() argument
792 cap_t cap = create_it_frame_cap(pptr, vptr, asid, use_large, X86_MappingVSpace); in create_mapped_it_frame_cap()
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 348 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large) in create_it_frame_cap() argument
351 if (use_large) { in create_it_frame_cap()
526 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) in create_unmapped_it_frame_cap() argument
528 return create_it_frame_cap(pptr, 0, asidInvalid, use_large); in create_unmapped_it_frame_cap()
531 …t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, in create_mapped_it_frame_cap() argument
534 cap_t cap = create_it_frame_cap(pptr, vptr, asid, use_large); in create_mapped_it_frame_cap()
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 420 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large) in create_it_frame_cap() argument
422 if (use_large) in create_it_frame_cap()
530 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) in create_unmapped_it_frame_cap() argument
532 return create_it_frame_cap(pptr, 0, asidInvalid, use_large); in create_unmapped_it_frame_cap()
535 …t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, in create_mapped_it_frame_cap() argument
538 cap_t cap = create_it_frame_cap(pptr, vptr, asid, use_large); in create_mapped_it_frame_cap()
|