Searched defs:pt_cap (Results 1 - 6 of 6) sorted by relevance
| /seL4-camkes-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
|
| /seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 602 BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap) argument
|
| /seL4-camkes-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
|
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 489 static BOOT_CODE void map_it_pt_cap(cap_t pd_cap, cap_t pt_cap) argument
|
| /seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 362 static BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap) argument
|
| /seL4-camkes-master/projects/capdl/capdl-loader-app/src/ |
| H A D | main.c | 241 CDL_Cap *pt_cap = get_cap_at(cdl_pd, PD_SLOT(vaddr)); local
260 CDL_Cap *pt_cap = get_cdl_frame_pt_recurse(root, vaddr, spec, level + 1); local
281 CDL_Cap *pt_cap = get_cdl_frame_pt(pd, vaddr, spec); local
|
Completed in 109 milliseconds