vcpu_has_run_once
if (!vcpu_has_run_once(vcpu))
if (vcpu_has_run_once(vcpu)) {
if (likely(vcpu_has_run_once(vcpu)))
if (vcpu_has_run_once(vcpu))