Do not clear asid cleanbit unconditionally. This shaves off 100 cycles
from the VMRUN instruction.
Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>
Committed-by: Jan Beulich <jbeulich@suse.com>
xen-unstable changeset: 25482:
34c725807d21
xen-unstable date: Wed Jun 13 11:51:26 2012 +0200
return;
}
- vmcb_set_guest_asid(vmcb, curr->arch.hvm_vcpu.asid);
+ if (vmcb_get_guest_asid(vmcb) != curr->arch.hvm_vcpu.asid)
+ vmcb_set_guest_asid(vmcb, curr->arch.hvm_vcpu.asid);
vmcb->tlb_control = need_flush;
}