kvm_is_write_fault 1686 virt/kvm/arm/mmu.c 	write_fault = kvm_is_write_fault(vcpu);
kvm_is_write_fault 1956 virt/kvm/arm/mmu.c 	write_fault = kvm_is_write_fault(vcpu);