Searched defs:cap_vtable_root_isMapped (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/kernel/
H A Dvspace.h65 #define cap_vtable_root_isMapped(_c) \ macro
108 #define cap_vtable_root_isMapped(_c) cap_page_global_directory_cap_get_capPGDIsMapped(_c) macro

Completed in 27 milliseconds