Searched refs:create_mapped_it_frame_cap (Results 1 - 10 of 10) sorted by relevance
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/kernel/ |
H A D | boot.h | 17 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable);
|
H A D | vspace.h | 25 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable);
|
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/kernel/ |
H A D | boot.h | 25 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable);
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/ |
H A D | boot.h | 32 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable);
|
/seL4-l4v-10.1.1/seL4/src/kernel/ |
H A D | boot.c | 222 cap = create_mapped_it_frame_cap(pd_cap, pptr, vptr, IT_ASID, false, false); 239 cap = create_mapped_it_frame_cap(pd_cap, pptr, vptr, IT_ASID, false, false); 332 frame_cap = create_mapped_it_frame_cap(pd_cap, f, pptr_to_paddr((void*)(f - pv_offset)), IT_ASID, false, true);
|
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
H A D | boot.c | 58 create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t function
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/ |
H A D | vspace.c | 520 create_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable UNUSED) function
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/ |
H A D | vspace.c | 821 create_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable UNUSED) function
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
H A D | vspace.c | 612 create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable) function
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
H A D | vspace.c | 568 create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable) function
|
Completed in 172 milliseconds