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

/fuchsia/zircon/kernel/arch/x86/hypervisor/
H A Dvcpu_priv.h170 GUEST_CR0 = 0x6800, member in class:VmcsFieldXX
H A Dvcpu.cpp506 vmcs.Write(VmcsFieldXX::GUEST_CR0, cr0);
H A Dvmexit.cpp344 vmcs->Write(VmcsFieldXX::GUEST_CR0, cr0);

Completed in 31 milliseconds