Searched defs:GET_VSPACE_ROOT_INDEX (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/arch/x86/arch/32/mode/object/
A D	structures.h	30 #define GET_VSPACE_ROOT_INDEX(x) ((x) >> (seL4_PageBits + PT_INDEX_BITS)) macro
/seL4-master/include/arch/x86/arch/64/mode/object/
A D	structures.h	62 #define GET_VSPACE_ROOT_INDEX GET_PML4_INDEX macro

Completed in 7 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023