Searched refs:vspace_root_cap (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/fastpath/
H A Dfastpath.h66 isValidVTableRoot_fp(cap_t vspace_root_cap) argument
68 return cap_capType_equals(vspace_root_cap, cap_page_global_directory_cap) && cap_page_global_directory_cap_get_capPGDIsMapped(vspace_root_cap);
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/fastpath/
H A Dfastpath.h71 isValidVTableRoot_fp(cap_t vspace_root_cap) argument
73 return cap_capType_equals(vspace_root_cap, cap_page_table_cap) &&
74 cap_page_table_cap_get_capPTIsMapped(vspace_root_cap);
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/fastpath/
H A Dfastpath.h75 isValidVTableRoot_fp(cap_t vspace_root_cap) argument
77 return cap_capType_equals(vspace_root_cap, cap_page_directory_cap) && cap_page_directory_cap_get_capPDIsMapped(vspace_root_cap);
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/fastpath/
H A Dfastpath.h102 isValidVTableRoot_fp(cap_t vspace_root_cap) argument
106 return (vspace_root_cap.words[0] >> (64 - 6)) == ((cap_pml4_cap << 1) | 0x1);

Completed in 89 milliseconds