vcpu_valid_wakeup
if (!vcpu_valid_wakeup(vcpu))
if (!vcpu_valid_wakeup(vcpu)) {
trace_kvm_vcpu_wakeup(halt_ns, waited, vcpu_valid_wakeup(vcpu));