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

/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h38 #define X86_GLOBAL_VSPACE_ROOT x64KSSKIMPML4 macro
40 #define X86_GLOBAL_VSPACE_ROOT x64KSKernelPML4
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h26 #define X86_GLOBAL_VSPACE_ROOT ia32KSGlobalPD macro
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c484 setCurrentUserVSpaceRoot(kpptr_to_paddr(X86_GLOBAL_VSPACE_ROOT), 0);
492 setCurrentUserVSpaceRoot(kpptr_to_paddr(X86_GLOBAL_VSPACE_ROOT), 0);
758 vspace[i] = X86_GLOBAL_VSPACE_ROOT[i];

Completed in 80 milliseconds