is_write_protection 1180 arch/x86/kvm/mmu.c 	    || (write_fault && !is_write_protection(vcpu) && !user_fault)) {
is_write_protection  167 arch/x86/kvm/paging_tmpl.h 			if (user_fault || is_write_protection(vcpu))