Symbol: vmm_host_state_init
sys/amd64/vmm/vmm.c
287
vmm_host_state_init();
sys/amd64/vmm/vmm_host.h
44
void vmm_host_state_init(void);