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

/fuchsia/zircon/kernel/arch/x86/hypervisor/
H A Dvcpu.cpp171 uint64_t AutoVmcs::Read(VmcsField64 field) const {
191 void AutoVmcs::Write(VmcsField64 field, uint64_t val) {
435 vmcs.Write(VmcsField64::EPT_POINTER, eptp);
443 vmcs.Write(VmcsField64::MSR_BITMAPS_ADDRESS, msr_bitmaps_address);
453 vmcs.Write(VmcsField64::EXIT_MSR_LOAD_ADDRESS, host_msr_page->PhysicalAddress());
462 vmcs.Write(VmcsField64::EXIT_MSR_STORE_ADDRESS, guest_msr_page->PhysicalAddress());
464 vmcs.Write(VmcsField64::ENTRY_MSR_LOAD_ADDRESS, guest_msr_page->PhysicalAddress());
472 vmcs.Write(VmcsField64::HOST_IA32_PAT, read_msr(X86_MSR_IA32_PAT));
473 vmcs.Write(VmcsField64::HOST_IA32_EFER, read_msr(X86_MSR_IA32_EFER));
527 vmcs.Write(VmcsField64
[all...]
H A Dvcpu_priv.h103 enum class VmcsField64 : uint64_t { class in inherits:uint64_t
224 uint64_t Read(VmcsField64 field) const;
228 void Write(VmcsField64 field, uint64_t val);
H A Dvmexit.cpp69 guest_physical_address = vmcs.Read(VmcsField64::GUEST_PHYSICAL_ADDRESS);
347 uint64_t efer = vmcs->Read(VmcsField64::GUEST_IA32_EFER);
351 vmcs->Write(VmcsField64::GUEST_IA32_EFER, efer | X86_EFER_LMA);
914 uint64_t efer = vmcs->Read(VmcsField64::GUEST_IA32_EFER);

Completed in 28 milliseconds