Searched refs:vspace_cap (Results 1 - 7 of 7) sorted by relevance

/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c392 static BOOT_CODE cap_t create_it_page_table_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
402 map_it_pt_cap(vspace_cap, cap);
407 static BOOT_CODE cap_t create_it_page_directory_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
416 if (asid != asidInvalid && cap_get_capType(vspace_cap) != cap_null_cap) {
417 map_it_pd_cap(vspace_cap, cap);
435 cap_t vspace_cap; local
444 vspace_cap = pd_cap;
452 create_it_page_table_cap(vspace_cap, it_alloc_paging(), vptr, IT_ASID))
463 return vspace_cap;
495 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t vspace_cap, pptr_ argument
[all...]
H A Dvspace_32paging.c102 BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap) argument
104 pde_t *pd = PDE_PTR(pptr_of_cap(vspace_cap));
122 BOOT_CODE void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap) argument
179 vspace_root_t *getValidNativeRoot(cap_t vspace_cap) argument
181 if (isValidNativeRoot(vspace_cap)) {
182 return PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(vspace_cap));
/seL4-test-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h15 void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap);
16 void map_it_frame_cap(cap_t vspace_cap, cap_t frame_cap);
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c560 static BOOT_CODE void map_it_pdpt_cap(cap_t vspace_cap, cap_t pdpt_cap) argument
562 pml4e_t *pml4 = PML4_PTR(pptr_of_cap(vspace_cap));
579 BOOT_CODE void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap) argument
581 pml4e_t *pml4 = PML4_PTR(pptr_of_cap(vspace_cap));
602 BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap) argument
604 pml4e_t *pml4 = PML4_PTR(pptr_of_cap(vspace_cap));
639 static BOOT_CODE cap_t create_it_pdpt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
648 map_it_pdpt_cap(vspace_cap, cap);
652 static BOOT_CODE cap_t create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
661 map_it_pd_cap(vspace_cap, ca
665 create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
692 cap_t vspace_cap; local
789 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) argument
[all...]
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h56 vspace_root_t *getValidNativeRoot(cap_t vspace_cap);
61 void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap);
62 void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap);
63 void map_it_frame_cap(cap_t vspace_cap, cap_t frame_cap);
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c298 static BOOT_CODE void map_it_frame_cap(cap_t vspace_cap, cap_t frame_cap, bool_t executable) argument
300 vspace_root_t *vspaceRoot = VSPACE_PTR(pptr_of_cap(vspace_cap));
362 static BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap) argument
364 vspace_root_t *vspaceRoot = VSPACE_PTR(pptr_of_cap(vspace_cap));
387 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
396 map_it_pt_cap(vspace_cap, cap);
400 static BOOT_CODE void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap) argument
402 vspace_root_t *vspaceRoot = VSPACE_PTR(pptr_of_cap(vspace_cap));
421 static BOOT_CODE cap_t create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
430 map_it_pd_cap(vspace_cap, ca
435 map_it_pud_cap(cap_t vspace_cap, cap_t pud_cap) argument
447 create_it_pud_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
472 cap_t vspace_cap; local
[all...]
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c165 BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap) argument
170 pte_t *lvl1pt = PTE_PTR(pptr_of_cap(vspace_cap));
195 BOOT_CODE void map_it_frame_cap(cap_t vspace_cap, cap_t frame_cap) argument
197 pte_t *lvl1pt = PTE_PTR(pptr_of_cap(vspace_cap));
237 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
247 map_it_pt_cap(vspace_cap, cap);

Completed in 50 milliseconds