When this function is called IPA address is used. Looking at the HYP implementation it uses the IPA directly in tlbi instructions. But reading the TLB maintnance instruction syntax, bit [35:0] should be set to IPA[47:12]. I traced the source code but don't see the adjustment. I must be missing something given this function is fundamental to KVM MMU. Thanks, Mario _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm