/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()
|