Searched refs:GET_VSPACE_ROOT_INDEX (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dtlb_bitmap_defs.h18 #define TLBBITMAP_ROOT_INDEX GET_VSPACE_ROOT_INDEX(TLBBITMAP_PPTR)
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h30 #define GET_VSPACE_ROOT_INDEX(x) ((x) >> (seL4_PageBits + PT_INDEX_BITS)) macro
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h62 #define GET_VSPACE_ROOT_INDEX GET_PML4_INDEX macro

Completed in 84 milliseconds