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

/fuchsia/zircon/kernel/arch/x86/hypervisor/
H A Dvcpu_priv.h91 VPID = 0x0000, member in class:VmcsField16
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);
H A Dvcpu.cpp408 // From Volume 3, Section 26.2.1.1: If the ���enable VPID��� VM-execution
409 // control is 1, the value of the VPID VM-execution control field must not
415 // it may use the same VPID for those guests.
421 // for the current VPID (but, for combined mappings, all EP4TAs). Linear
422 // mappings for the current VPID are invalidated even if EPT is in use.
423 // Combined mappings for the current VPID are invalidated even if EPT is
425 vmcs.Write(VmcsField16::VPID, vpid);
636 // on the VPID. The VCPU must always be run on the current thread and the

Completed in 80 milliseconds