Searched defs:frame_cap (Results 1 - 10 of 10) sorted by relevance
| /seL4-refos-master/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-refos-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-refos-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-refos-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-refos-master/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-refos-master/kernel/src/kernel/ |
| H A D | boot.c | 353 cap_t frame_cap; local
|
| /seL4-refos-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-refos-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-refos-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-refos-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
|
Completed in 106 milliseconds