Symbol: vm_teardown
sys/dev/vmm/vmm.c
490
vm_teardown(&vm);
sys/dev/vmm/vmm.c
748
vm_teardown(&vm);
sys/dev/vmm/vmm.h
258
void vm_teardown(struct vm **);