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

/fuchsia/zircon/kernel/arch/x86/hypervisor/
H A Dvcpu_priv.h171 GUEST_CR3 = 0x6802, member in class:VmcsFieldXX
H A Dvcpu.cpp602 vmcs.Write(VmcsFieldXX::GUEST_CR3, 0);
H A Dvmexit.cpp838 zx_paddr_t pt_addr = vmcs.Read(VmcsFieldXX::GUEST_CR3);

Completed in 31 milliseconds