Symbol: stop_vmm_on_cpu
sys/arch/amd64/amd64/ipifuncs.c
165
stop_vmm_on_cpu(ci);
sys/arch/amd64/amd64/vmm_machdep.c
715
stop_vmm_on_cpu(self);
sys/arch/amd64/include/vmmvar.h
1054
void stop_vmm_on_cpu(struct cpu_info *);