Symbol: vcpu_unlock_one
sys/dev/vmm/vmm_dev.c
173
vcpu_unlock_one(vcpu);
sys/dev/vmm/vmm_dev.c
778
vcpu_unlock_one(vcpu);