stage2_wp_range  1548 virt/kvm/arm/mmu.c 	stage2_wp_range(kvm, start, end);
stage2_wp_range  1572 virt/kvm/arm/mmu.c 	stage2_wp_range(kvm, start, end);