vcpu_run_state_pending
if (vcpu_run_state_pending(vm, vcpu)) {
if (vcpu_run_state_pending(vm, vcpu)) {
bool vcpu_run_state_pending(struct vm *vm, int vcpuid);
if (vcpu_run_state_pending(vm, vcpuid))