Searched refs:frame_cap (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/seL4/src/arch/x86/32/kernel/
H A Dvspace_32paging.c128 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 Dvspace.h16 void map_it_frame_cap(cap_t vspace_cap, cap_t frame_cap);
/seL4-l4v-master/seL4/include/arch/x86/arch/kernel/
H A Dvspace.h63 void map_it_frame_cap(cap_t vspace_cap, cap_t frame_cap);
/seL4-l4v-master/seL4/src/kernel/
H A Dboot.c353 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 Dvspace.c525 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 Dvspace.c195 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 Dvspace.c420 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 Dvspace.c298 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