Searched refs:pt_cap (Results 1 - 7 of 7) sorted by relevance

/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c102 BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap) argument
105 pte_t *pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(pt_cap));
106 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap);
108 assert(cap_page_table_cap_get_capPTIsMapped(pt_cap));
/seL4-test-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h15 void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap);
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h61 void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap);
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c602 BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap) argument
607 pte_t *pt = PT_PTR(cap_page_table_cap_get_capPTBasePtr(pt_cap));
608 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap);
610 assert(cap_page_table_cap_get_capPTIsMapped(pt_cap));
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c165 BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap) argument
169 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap);
173 pte_t *pt = PTE_PTR(pptr_of_cap(pt_cap));
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c489 static BOOT_CODE void map_it_pt_cap(cap_t pd_cap, cap_t pt_cap) argument
492 pte_t *pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(pt_cap));
493 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap);
496 assert(cap_page_table_cap_get_capPTIsMapped(pt_cap));
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c362 static BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap) argument
367 pte_t *pt = PT_PTR(cap_page_table_cap_get_capPTBasePtr(pt_cap));
368 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap);
370 assert(cap_page_table_cap_get_capPTIsMapped(pt_cap));

Completed in 66 milliseconds