Searched refs:map_it_pt_cap (Results 1 - 8 of 8) sorted by relevance
/seL4-camkes-master/kernel/include/arch/riscv/arch/kernel/ |
H A D | vspace.h | 15 void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap);
|
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
H A D | vspace.h | 61 void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap);
|
/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) function
|
H A D | vspace.c | 402 map_it_pt_cap(vspace_cap, cap);
|
/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) function 674 map_it_pt_cap(vspace_cap, cap);
|
/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) function 247 map_it_pt_cap(vspace_cap, cap);
|
/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) function 521 map_it_pt_cap(pd, cap);
|
/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) function 396 map_it_pt_cap(vspace_cap, cap);
|
Completed in 126 milliseconds