Searched refs:vspace_cap (Results 1 – 7 of 7) sorted by relevance
/seL4-master/src/arch/x86/32/kernel/ |
A D | vspace.c | 392 static BOOT_CODE cap_t create_it_page_table_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t … in create_it_page_table_cap() argument 402 map_it_pt_cap(vspace_cap, cap); in create_it_page_table_cap() 407 static BOOT_CODE cap_t create_it_page_directory_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asi… in create_it_page_directory_cap() argument 416 if (asid != asidInvalid && cap_get_capType(vspace_cap) != cap_null_cap) { in create_it_page_directory_cap() 417 map_it_pd_cap(vspace_cap, cap); in create_it_page_directory_cap() 435 cap_t vspace_cap; in create_it_address_space() local 444 vspace_cap = pd_cap; in create_it_address_space() 452 create_it_page_table_cap(vspace_cap, it_alloc_paging(), vptr, IT_ASID)) in create_it_address_space() 463 return vspace_cap; in create_it_address_space() 495 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid,… in create_mapped_it_frame_cap() argument [all …]
|
A D | vspace_32paging.c | 102 BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap) in map_it_pt_cap() argument 104 pde_t *pd = PDE_PTR(pptr_of_cap(vspace_cap)); in map_it_pt_cap() 122 BOOT_CODE void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap) in map_it_pd_cap() argument 179 vspace_root_t *getValidNativeRoot(cap_t vspace_cap) in getValidNativeRoot() argument 181 if (isValidNativeRoot(vspace_cap)) { in getValidNativeRoot() 182 return PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(vspace_cap)); in getValidNativeRoot()
|
/seL4-master/src/arch/x86/64/kernel/ |
A D | vspace.c | 562 pml4e_t *pml4 = PML4_PTR(pptr_of_cap(vspace_cap)); in map_it_pdpt_cap() 579 BOOT_CODE void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap) in map_it_pd_cap() argument 581 pml4e_t *pml4 = PML4_PTR(pptr_of_cap(vspace_cap)); in map_it_pd_cap() 604 pml4e_t *pml4 = PML4_PTR(pptr_of_cap(vspace_cap)); in map_it_pt_cap() 648 map_it_pdpt_cap(vspace_cap, cap); in create_it_pdpt_cap() 661 map_it_pd_cap(vspace_cap, cap); in create_it_pd_cap() 674 map_it_pt_cap(vspace_cap, cap); in create_it_pt_cap() 692 cap_t vspace_cap; in create_it_address_space() local 699 vspace_cap = cap_pml4_cap_new( in create_it_address_space() 745 return vspace_cap; in create_it_address_space() [all …]
|
/seL4-master/include/arch/x86/arch/kernel/ |
A D | vspace.h | 56 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-master/include/arch/riscv/arch/kernel/ |
A D | vspace.h | 15 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-master/src/arch/arm/64/kernel/ |
A D | vspace.c | 305 vspace_root_t *vspaceRoot = VSPACE_PTR(pptr_of_cap(vspace_cap)); in map_it_frame_cap() 367 static BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap) in map_it_pt_cap() argument 369 vspace_root_t *vspaceRoot = VSPACE_PTR(pptr_of_cap(vspace_cap)); in map_it_pt_cap() 401 map_it_pt_cap(vspace_cap, cap); in create_it_pt_cap() 405 static BOOT_CODE void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap) in map_it_pd_cap() argument 435 map_it_pd_cap(vspace_cap, cap); in create_it_pd_cap() 442 pgde_t *pgd = PGD_PTR(pptr_of_cap(vspace_cap)); in map_it_pud_cap() 461 map_it_pud_cap(vspace_cap, cap); in create_it_pud_cap() 477 cap_t vspace_cap; in create_it_address_space() local 483 vspace_cap = cap_vtable_cap_new( in create_it_address_space() [all …]
|
/seL4-master/src/arch/riscv/kernel/ |
A D | vspace.c | 165 BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap) in map_it_pt_cap() argument 170 pte_t *lvl1pt = PTE_PTR(pptr_of_cap(vspace_cap)); in map_it_pt_cap() 195 BOOT_CODE void map_it_frame_cap(cap_t vspace_cap, cap_t frame_cap) in map_it_frame_cap() argument 197 pte_t *lvl1pt = PTE_PTR(pptr_of_cap(vspace_cap)); in map_it_frame_cap() 237 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_pt_cap() argument 247 map_it_pt_cap(vspace_cap, cap); in create_it_pt_cap()
|
Completed in 18 milliseconds