Symbol: vcpu_rendezvous_pending
sys/amd64/vmm/amd/svm.c
2194
if (vcpu_rendezvous_pending(vcpu->vcpu, evinfo)) {
sys/amd64/vmm/intel/vmx.c
3115
if (vcpu_rendezvous_pending(vcpu->vcpu, evinfo)) {