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

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h224 #define VMX_HOST_CR4 0x6C04 // Host CR4 macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c477 err += vmwrite(VMX_HOST_CR4, cr4);
H A Dvmx_checks.c919 err += vmread(VMX_HOST_CR4, &host_cr4);

Completed in 32 milliseconds