Searched refs:frame_cap (Results 1 - 8 of 8) sorted by relevance
/seL4-l4v-master/seL4/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 132 void *frame = (void *)cap_frame_cap_get_capFBasePtr(frame_cap); 133 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(frame_cap); 135 assert(cap_frame_cap_get_capFMappedASID(frame_cap) != 0);
|
/seL4-l4v-master/seL4/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-l4v-master/seL4/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-l4v-master/seL4/src/kernel/ |
H A D | boot.c | 353 cap_t frame_cap; local 361 frame_cap = create_mapped_it_frame_cap(pd_cap, f, pptr_to_paddr((void *)(f - pv_offset)), IT_ASID, false, true); 363 frame_cap = create_unmapped_it_frame_cap(f, false); 365 if (!provide_cap(root_cnode_cap, frame_cap))
|
/seL4-l4v-master/seL4/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 531 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(frame_cap); 532 void *pptr = (void *)cap_frame_cap_get_capFBasePtr(frame_cap); 534 assert(cap_frame_cap_get_capFMapType(frame_cap) == X86_MappingVSpace); 535 assert(cap_frame_cap_get_capFMappedASID(frame_cap) != asidInvalid);
|
/seL4-l4v-master/seL4/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 198 pte_t *frame_pptr = PTE_PTR(pptr_of_cap(frame_cap)); 199 vptr_t frame_vptr = cap_frame_cap_get_capFMappedAddress(frame_cap);
|
/seL4-l4v-master/seL4/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 425 void *frame = (void *)generic_frame_cap_get_capFBasePtr(frame_cap); 426 vptr_t vptr = generic_frame_cap_get_capFMappedAddress(frame_cap); 428 assert(generic_frame_cap_get_capFMappedASID(frame_cap) != 0);
|
/seL4-l4v-master/seL4/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 305 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(frame_cap); 306 void *pptr = (void *)cap_frame_cap_get_capFBasePtr(frame_cap); 308 assert(cap_frame_cap_get_capFMappedASID(frame_cap) != 0);
|
Completed in 62 milliseconds