Searched refs:create_it_pd_cap (Results 1 - 2 of 2) sorted by relevance
| /seL4-test-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 652 static BOOT_CODE cap_t create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) function
724 create_it_pd_cap(vspace_cap, it_alloc_paging(), vptr, IT_ASID))
|
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 421 static BOOT_CODE cap_t create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) function
500 if (!provide_cap(root_cnode_cap, create_it_pd_cap(vspace_cap, it_alloc_paging(), vptr, IT_ASID))) {
|
Completed in 94 milliseconds