__kvm_inject_pfault_token 3640 arch/s390/kvm/kvm-s390.c 	__kvm_inject_pfault_token(vcpu, true, work->arch.pfault_token);
__kvm_inject_pfault_token 3647 arch/s390/kvm/kvm-s390.c 	__kvm_inject_pfault_token(vcpu, false, work->arch.pfault_token);