Searched defs:vspace_cap (Results 1 - 5 of 5) sorted by relevance
| /seL4-test-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 102 BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap) argument
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
|
| H 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 asid) argument
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
435 cap_t vspace_cap; local
495 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t vspace_cap, pptr_ argument
[all...] |
| /seL4-test-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 560 static BOOT_CODE void map_it_pdpt_cap(cap_t vspace_cap, cap_t pdpt_cap) argument
579 BOOT_CODE void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap) argument
602 BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap) argument
639 static BOOT_CODE cap_t create_it_pdpt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
652 static BOOT_CODE cap_t create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
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/src/arch/riscv/kernel/ |
| H A D | vspace.c | 165 BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap) argument
195 BOOT_CODE void map_it_frame_cap(cap_t vspace_cap, cap_t frame_cap) argument
237 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
|
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 298 static BOOT_CODE void map_it_frame_cap(cap_t vspace_cap, cap_t frame_cap, bool_t executable) argument
362 static BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap) argument
387 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
400 static BOOT_CODE void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap) argument
421 static BOOT_CODE cap_t create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
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...] |
Completed in 81 milliseconds