Searched defs:frame_cap (Results 1 - 11 of 11) sorted by relevance
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/arm/ |
| H A D | dataport.c | 19 static int sel4_cache_op(seL4_CPtr frame_cap, seL4_Word start, seL4_Word end, dma_cache_op_t cache_op) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/ |
| H A D | libsel4simple-default.c | 28 void *simple_default_get_frame_info(void *data, void *paddr, int size_bits, seL4_CPtr *frame_cap, seL4_Word *offset) argument
|
| /seL4-camkes-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) argument
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | dma.c | 796 seL4_CPtr frame_cap = frame->cap; local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple/include/simple/ |
| H A D | simple.h | 229 simple_get_frame_cap_fn frame_cap; member in struct:simple_t
249 static inline void *simple_get_frame_info(simple_t *simple, void *paddr, int size_bits, seL4_CPtr *frame_cap, argument
|
| /seL4-camkes-master/kernel/src/kernel/ |
| H A D | boot.c | 353 cap_t frame_cap; local
|
| /seL4-camkes-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) argument
|
| /seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 195 BOOT_CODE void map_it_frame_cap(cap_t vspace_cap, cap_t frame_cap) argument
|
| /seL4-camkes-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) argument
|
| /seL4-camkes-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
|
| /seL4-camkes-master/projects/capdl/capdl-loader-app/src/ |
| H A D | main.c | 289 CDL_Cap *frame_cap = get_cap_at(cdl_pt, PT_SLOT(vaddr)); local
1533 CDL_Cap *frame_cap = CDL_CapSlot_Cap(slot); local
1821 CDL_Cap *frame_cap = get_cap_at(container, slot_index); local
[all...] |
Completed in 123 milliseconds