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

/fuchsia/zircon/kernel/arch/x86/hypervisor/
H A Dvcpu.cpp161 uint16_t AutoVmcs::Read(VmcsField16 field) const {
181 void AutoVmcs::Write(VmcsField16 field, uint16_t val) {
425 vmcs.Write(VmcsField16::VPID, vpid);
477 vmcs.Write(VmcsField16::HOST_ES_SELECTOR, 0);
478 vmcs.Write(VmcsField16::HOST_CS_SELECTOR, CODE_64_SELECTOR);
479 vmcs.Write(VmcsField16::HOST_SS_SELECTOR, DATA_SELECTOR);
480 vmcs.Write(VmcsField16::HOST_DS_SELECTOR, 0);
481 vmcs.Write(VmcsField16::HOST_FS_SELECTOR, 0);
482 vmcs.Write(VmcsField16::HOST_GS_SELECTOR, 0);
483 vmcs.Write(VmcsField16
[all...]
H A Dvcpu_priv.h90 enum class VmcsField16 : uint64_t { class in inherits:uint64_t
222 uint16_t Read(VmcsField16 field) const;
226 void Write(VmcsField16 field, uint16_t val);
H A Dvmexit.cpp213 guest_state->rbx |= (vmcs->Read(VmcsField16::VPID) - 1) << 24;
234 guest_state->rdx = vmcs->Read(VmcsField16::VPID) - 1;
486 guest_state->rax = vmcs->Read(VmcsField16::VPID) - 1;
541 if (vmcs->Read(VmcsField16::VPID) == 1)
649 uint16_t self = static_cast<uint16_t>(vmcs->Read(VmcsField16::VPID) - 1);

Completed in 92 milliseconds