vm_extint_pending
if (vm_extint_pending(sc->vm, vcpu)) {
if (vm_extint_pending(sc->vm, vcpu)) {
if (vm_extint_pending(vmx->vm, vcpu)) {
if (vm_extint_pending(vmx->vm, vcpu)) {
bool vm_extint_pending(struct vm *vm, int vcpuid);
if (vm_extint_pending(vm, vcpuid) ||