Symbol: vm_extint_pending
sys/amd64/include/vmm.h
247
int vm_extint_pending(struct vcpu *vcpu);
sys/amd64/vmm/amd/svm.c
1830
extint_pending = vm_extint_pending(vcpu->vcpu);
sys/amd64/vmm/intel/vmx.c
1543
extint_pending = vm_extint_pending(vcpu->vcpu);
sys/amd64/vmm/vmm.c
771
if (vm_extint_pending(vcpu) ||