Symbol: vmm_activate_machdep
sys/arch/amd64/amd64/vmm_machdep.c
70
void vmm_activate_machdep(struct device *, int);
sys/arch/amd64/include/vmmvar.h
1058
void vmm_activate_machdep(struct device *, int);
sys/dev/vmm/vmm.c
102
vmm_activate_machdep(self, act);
sys/dev/vmm/vmm.c
99
vmm_activate_machdep(self, act);