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

/fuchsia/zircon/kernel/arch/x86/hypervisor/
H A Dvcpu_priv.h172 GUEST_CR4 = 0x6804, member in class:VmcsFieldXX
H A Dvcpu.cpp520 vmcs.Write(VmcsFieldXX::GUEST_CR4, cr4);
H A Dvmexit.cpp964 uint64_t guest_cr4 = vmcs->Read(VmcsFieldXX::GUEST_CR4);

Completed in 28 milliseconds