Searched refs:PTE_PTR (Results 1 - 15 of 15) sorted by relevance

/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c170 pte_t *lvl1pt = PTE_PTR(pptr_of_cap(vspace_cap));
173 pte_t *pt = PTE_PTR(pptr_of_cap(pt_cap));
197 pte_t *lvl1pt = PTE_PTR(pptr_of_cap(vspace_cap));
198 pte_t *frame_pptr = PTE_PTR(pptr_of_cap(frame_cap));
267 copyGlobalMappings(PTE_PTR(rootserver.vspace));
311 ap->array[IT_ASID] = PTE_PTR(pptr_of_cap(it_lvl1pt_cap));
387 return PTE_PTR(ptrFromPAddr(pte_ptr_get_ppn(pte) << seL4_PageTableBits));
479 pte_t *regionBase = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap));
590 lvl1pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(threadRoot));
690 pte_t *pte = PTE_PTR(cap_page_table_cap_get_capPTBasePt
[all...]
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h39 #define PTE_PTR(r) ((pte_t *)(r)) macro
/seL4-test-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h54 #define PTE_PTR(r) ((pte_t *)(r)) macro
/seL4-test-master/kernel/src/arch/riscv/machine/
H A Dcapdl.c79 pte_t *lvl1pt = PTE_PTR(pptr_of_cap(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap));
218 pte_t *lvl1pt = PTE_PTR(pptr_of_cap(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap));
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h88 #define PTE_PTR(r) ((pte_t *)(r)) macro
/seL4-test-master/kernel/include/arch/riscv/arch/fastpath/
H A Dfastpath.h35 #define cap_vtable_cap_get_vspace_root_fp(vtable_cap) PTE_PTR(cap_page_table_cap_get_capPTBasePtr(vtable_cap))
/seL4-test-master/kernel/src/arch/riscv/object/
H A Dobjecttype.c96 pte_t *pte = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap));
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h95 #define PTE_PTR(r) ((pte_t *)(r)) macro
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c105 pte_t *pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(pt_cap));
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h71 #define PTE_PTR(r) ((pte_t *)r) macro
/seL4-test-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c167 PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap)));
/seL4-test-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c197 PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap)));
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c492 pte_t *pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(pt_cap));
1884 pte_t *pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap));
2259 PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap)));
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dvspace.c1109 pte_t *pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap));
1236 paddr = pptr_to_paddr(PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap)));
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c2052 pde = pde_pde_small_new(pptr_to_paddr(PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap))));

Completed in 168 milliseconds