RET_PF_INVALID
int ret = RET_PF_INVALID;
if (ret != RET_PF_INVALID)
return RET_PF_INVALID;
if (r != RET_PF_INVALID)
if (r != RET_PF_INVALID)
case RET_PF_INVALID:
r = RET_PF_INVALID;
if (r == RET_PF_INVALID) {
if (KVM_BUG_ON(r == RET_PF_INVALID, vcpu->kvm))
TRACE_DEFINE_ENUM(RET_PF_INVALID);