Searched refs:map_it_frame_cap (Results 1 - 9 of 9) sorted by relevance
| /seL4-test-master/kernel/include/arch/riscv/arch/kernel/ |
| H A D | vspace.h | 16 void map_it_frame_cap(cap_t vspace_cap, cap_t frame_cap);
|
| /seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | vspace.h | 63 void map_it_frame_cap(cap_t vspace_cap, cap_t frame_cap);
|
| /seL4-test-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 128 BOOT_CODE void map_it_frame_cap(cap_t pd_cap, cap_t frame_cap) function
|
| H A D | vspace.c | 499 map_it_frame_cap(vspace_cap, cap);
|
| /seL4-test-master/kernel/src/arch/riscv/kernel/ |
| H A D | boot.c | 73 map_it_frame_cap(pd_cap, cap);
|
| H A D | vspace.c | 195 BOOT_CODE void map_it_frame_cap(cap_t vspace_cap, cap_t frame_cap) function
|
| /seL4-test-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 525 BOOT_CODE void map_it_frame_cap(cap_t pd_cap, cap_t frame_cap) function
793 map_it_frame_cap(vspace_cap, cap);
|
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 420 static BOOT_CODE void map_it_frame_cap(cap_t pd_cap, cap_t frame_cap, bool_t executable) function
580 map_it_frame_cap(pd_cap, cap, executable);
|
| /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) function
530 map_it_frame_cap(pd_cap, cap, executable);
|
Completed in 128 milliseconds