permission_fault  417 arch/x86/kvm/paging_tmpl.h 	errcode = permission_fault(vcpu, mmu, walker->pte_access, pte_pkey, access);
permission_fault 5593 arch/x86/kvm/x86.c 	    && !permission_fault(vcpu, vcpu->arch.walk_mmu,