Searched refs:create_it_pt_cap (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 665 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) function 735 create_it_pt_cap(vspace_cap, it_alloc_paging(), vptr, IT_ASID))
|
/seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 237 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) function 287 create_it_pt_cap(lvl1pt_cap, it_alloc_paging(), pt_vptr, IT_ASID))
|
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 387 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) function 509 if (!provide_cap(root_cnode_cap, create_it_pt_cap(vspace_cap, it_alloc_paging(), vptr, IT_ASID))) {
|
Completed in 114 milliseconds