vcpu_redirect
ret = vcpu_redirect(vcpu, trap);
ret = vcpu_redirect(vcpu, trap);
ret = vcpu_redirect(vcpu, trap);
ret = vcpu_redirect(vcpu, trap);
ret = vcpu_redirect(vcpu, trap);
ret = vcpu_redirect(vcpu, trap);