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

/fuchsia/zircon/kernel/arch/x86/include/arch/x86/
H A Dmmu.h108 paddr_t x86_kernel_cr3(void);
/fuchsia/zircon/kernel/arch/x86/
H A Dproc_trace.cpp265 uint64_t kernel_cr3 = x86_kernel_cr3();
H A Dmmu.cpp68 paddr_t x86_kernel_cr3(void) { function

Completed in 89 milliseconds