Searched refs:VmcsFieldXX (Results 1 - 3 of 3) sorted by relevance
/fuchsia/zircon/kernel/arch/x86/hypervisor/ |
H A D | vcpu.cpp | 176 uint64_t AutoVmcs::Read(VmcsFieldXX field) const { 196 void AutoVmcs::Write(VmcsFieldXX field, uint64_t val) { 474 vmcs.Write(VmcsFieldXX::HOST_CR0, x86_get_cr0()); 475 vmcs.Write(VmcsFieldXX::HOST_CR3, x86_get_cr3()); 476 vmcs.Write(VmcsFieldXX::HOST_CR4, x86_get_cr4()); 484 vmcs.Write(VmcsFieldXX::HOST_FS_BASE, read_msr(X86_MSR_IA32_FS_BASE)); 485 vmcs.Write(VmcsFieldXX::HOST_GS_BASE, read_msr(X86_MSR_IA32_GS_BASE)); 486 vmcs.Write(VmcsFieldXX::HOST_TR_BASE, reinterpret_cast<uint64_t>(&percpu->default_tss)); 487 vmcs.Write(VmcsFieldXX::HOST_GDTR_BASE, reinterpret_cast<uint64_t>(gdt_get())); 488 vmcs.Write(VmcsFieldXX [all...] |
H A D | vcpu_priv.h | 163 enum class VmcsFieldXX : uint64_t { class in inherits:uint64_t 225 uint64_t Read(VmcsFieldXX field) const; 229 void Write(VmcsFieldXX field, uint64_t val);
|
H A D | vmexit.cpp | 67 exit_qualification = vmcs.Read(VmcsFieldXX::EXIT_QUALIFICATION); 70 guest_rip = vmcs.Read(VmcsFieldXX::GUEST_RIP); 84 LTRACEF("guest linear address: %#lx\n", vmcs.Read(VmcsFieldXX::GUEST_LINEAR_ADDRESS)); 136 vmcs->Write(VmcsFieldXX::GUEST_RIP, exit_info.guest_rip + exit_info.exit_instruction_length); 344 vmcs->Write(VmcsFieldXX::GUEST_CR0, cr0); 375 *out = vmcs->Read(VmcsFieldXX::GUEST_RSP); 838 zx_paddr_t pt_addr = vmcs.Read(VmcsFieldXX::GUEST_CR3); 964 uint64_t guest_cr4 = vmcs->Read(VmcsFieldXX::GUEST_CR4);
|
Completed in 36 milliseconds