Symbol: vcpu_deinit
sys/arch/amd64/amd64/vmm_machdep.c
91
void vcpu_deinit(struct vcpu *);
sys/arch/amd64/include/vmmvar.h
1066
void vcpu_deinit(struct vcpu *);
sys/dev/vmm/vmm.c
589
vcpu_deinit(vcpu);