__kvm_inject_pfault_token
__kvm_inject_pfault_token(vcpu, true, work->arch.pfault_token);
__kvm_inject_pfault_token(vcpu, false, work->arch.pfault_token);