Searched refs:PT_PTR (Results 1 - 9 of 9) sorted by relevance

/seL4-camkes-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h58 #define PT_PTR(r) ((pte_t *)(r)) macro
131 return PT_PTR(cap_page_table_cap_get_capPTBasePtr(cap));
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h42 #define PT_PTR(r) ((pte_t *)(r)) macro
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h98 #define PT_PTR(r) ((pte_t *)(r)) macro
215 return PT_PTR(cap_page_directory_cap_get_capPDBasePtr(cap));
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h91 #define PT_PTR(r) ((pte_t *)(r)) macro
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h74 #define PT_PTR(r) ((pte_t *)r) macro
367 return PT_PTR(cap_page_table_cap_get_capPTBasePtr(cap));
/seL4-camkes-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h258 return PT_PTR(cap_page_table_cap_get_capPTBasePtr(cap));
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dobjecttype.c200 PT_PTR(cap_page_table_cap_get_capPTBasePtr(cap))
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c367 pte_t *pt = PT_PTR(cap_page_table_cap_get_capPTBasePtr(pt_cap));
1553 pte_t *pt = PT_PTR(cap_page_table_cap_get_capPTBasePtr(cap));
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c607 pte_t *pt = PT_PTR(cap_page_table_cap_get_capPTBasePtr(pt_cap));

Completed in 177 milliseconds