Searched defs:cr4 (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/kernel/include/arch/x86_32/
H A Dx86.h47 uint32_t cr4; local
/barrelfish-master/kernel/include/arch/k1om/
H A Dx86.h98 uint64_t cr4; local
/barrelfish-master/kernel/include/arch/x86_64/
H A Dx86.h85 uint64_t cr0, cr4; local
/barrelfish-master/kernel/arch/x86_32/
H A Dinit.c409 uint32_t cr4; local
440 uint32_t cr4; local
449 uint32_t cr4; local
458 uint32_t cr4; local
[all...]
/barrelfish-master/kernel/include/arch/x86/
H A Dx86.h103 uint64_t cr4; local
108 static inline void wrcr4(uint64_t cr4) argument
[all...]
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c459 uint64_t cr0 = rdcr0(), cr3 = rdcr3(), cr4 = rdcr4(); local

Completed in 106 milliseconds