kvm_s2pte_mkwrite 1354 virt/kvm/arm/mmu.c 			pte = kvm_s2pte_mkwrite(pte);
kvm_s2pte_mkwrite 1837 virt/kvm/arm/mmu.c 			new_pte = kvm_s2pte_mkwrite(new_pte);