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

/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h36 #define PD_PTR(r) ((pde_t *)(r)) macro
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h92 #define PD_PTR(r) ((pde_t *)(r)) macro
212 return PD_PTR(cap_page_table_cap_get_capPTBasePtr(cap));
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h85 #define PD_PTR(r) ((pde_t *)(r)) macro
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h60 #define PD_PTR(r) ((pde_t *)(r)) macro
370 return PD_PTR(cap_page_directory_cap_get_capPDBasePtr(cap));
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h261 return PD_PTR(cap_page_directory_cap_get_capPDBasePtr(cap));
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c404 pde_t *pd = PD_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap));
1531 pde_t *pd = PD_PTR(cap_page_directory_cap_get_capPDBasePtr(cap));
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c583 pde_t *pd = PD_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap));

Completed in 91 milliseconds