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

/barrelfish-master/kernel/include/arch/x86_64/
H A Dpaging_kernel_arch.h90 uint64_t cr3; local
/barrelfish-master/usr/arrakismon/
H A Dpaging.h80 uint64_t cr3; local
/barrelfish-master/kernel/include/arch/x86/
H A Dx86.h91 uint64_t cr3; local
96 static inline void wrcr3(uint64_t cr3) argument
[all...]
/barrelfish-master/kernel/include/target/x86_32/
H A Dpaging_kernel_target.h433 static void inline paging_x86_32_context_switch(lpaddr_t cr3) argument
/barrelfish-master/usr/tests/nested_paging_test/
H A Dnestedpaging.h76 uint64_t cr3; local
/barrelfish-master/lib/posixcompat/
H A Dnestedpaging.h76 uint64_t cr3; local
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c459 uint64_t cr0 = rdcr0(), cr3 = rdcr3(), cr4 = rdcr4(); local

Completed in 119 milliseconds