Searched refs:wrcr4 (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/include/arch/x86/
H A Dx86.h61 #define amd64_cr4_rawwr(_d,_v) wrcr4(_v)
108 static inline void wrcr4(uint64_t cr4) function
/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_vmkit.h251 wrcr4(rdcr4() | CR4_VMXE);
261 wrcr4(rdcr4() & ~CR4_VMXE);

Completed in 95 milliseconds