uaddr_end        1617 virt/kvm/arm/mmu.c 	hva_t uaddr_start, uaddr_end;
uaddr_end        1625 virt/kvm/arm/mmu.c 	uaddr_end = uaddr_start + size;
uaddr_end        1666 virt/kvm/arm/mmu.c 	       (hva & ~(map_size - 1)) + map_size <= uaddr_end;