Symbol: vcpu_should_yield
sys/amd64/vmm/amd/svm.c
2207
if (vcpu_should_yield(vcpu->vcpu)) {
sys/amd64/vmm/intel/vmx.c
3127
if (vcpu_should_yield(vcpu->vcpu)) {
sys/amd64/vmm/vmm.c
778
if (vcpu_should_yield(vcpu))
sys/arm64/vmm/vmm.c
891
if (vcpu_should_yield(vcpu))
sys/riscv/vmm/vmm.c
557
if (vcpu_should_yield(vcpu))