On 27/06/2018 23:59, Junaid Shahid wrote: > + > + /* > + * We can only get a non-canonical address here if called through > + * kvm_mmu_invlpg(). So it is ok to ignore it because an INVLPG on a > + * non-canonical address is a NOP according to the Intel SDM. > + */ > + if (is_noncanonical_address(addr, vcpu)) > + return; > + I moved this check to kvm_mmu_invlpg instead. Paolo