On 06/05/2016 15:36, James Hogan wrote: > - It is actually redundant, since the host ASID will be restored > correctly by kvm_arch_vcpu_put(), which is called almost immediately > after kvm_arch_vcpu_ioctl_run() returns. What happens if the guest does a rogue access to the area where the host kernel resides? Would that cause a wrong entry in the TLB? Paolo
