Searched refs:PDE_PTR (Results 1 - 13 of 13) sorted by relevance

/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c104 pde_t *pd = PDE_PTR(pptr_of_cap(vspace_cap));
131 pde_t *pd = PDE_PTR(pptr_of_cap(pd_cap));
159 pde_t *pd = PDE_PTR(vspace);
182 return PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(vspace_cap));
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/fastpath/
H A Dfastpath.h27 #define cap_vtable_cap_get_vspace_root_fp(vtable_cap) PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(vtable_cap))
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/fastpath/
H A Dfastpath.h26 return PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(vtable_cap));
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h32 #define PDE_PTR(r) ((pde_t *)(r)) macro
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h81 #define PDE_PTR(r) ((pde_t *)(r)) macro
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h88 #define PDE_PTR(r) ((pde_t *)(r)) macro
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c424 pde_t *pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap));
491 pde_t *pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap));
540 copyGlobalMappings(PDE_PTR(rootserver.vspace));
635 ap->array[IT_ASID] = PDE_PTR(pptr_of_cap(it_pd_cap));
1060 pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(threadRoot));
1083 PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(threadRoot)) == pd) {
2018 PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(pdCapSlot->cap));
2094 pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(cap));
2215 pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(pdCap));
2318 pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePt
[all...]
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h55 #define PDE_PTR(r) ((pde_t *)(r)) macro
/seL4-test-master/kernel/src/arch/x86/object/
H A Dobjecttype.c190 PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(cap))
/seL4-test-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c158 PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(cap)));
/seL4-test-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c189 PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(cap)));
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c1109 pde_t *pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(cap));
1239 paddr = pptr_to_paddr(PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(cap)));
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1959 pude = pude_pude_pd_new(pptr_to_paddr(PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(cap))));

Completed in 112 milliseconds