Symbol: vcpu_lock_init
sys/amd64/vmm/vmm.c
230
vcpu_lock_init(vcpu);
sys/arm64/vmm/vmm.c
198
vcpu_lock_init(vcpu);
sys/riscv/vmm/vmm.c
112
vcpu_lock_init(vcpu);