Symbol: cpu_init_vmm
sys/arch/amd64/amd64/cpu.c
139
void cpu_init_vmm(struct cpu_info *ci);
sys/arch/amd64/amd64/cpu.c
756
cpu_init_vmm(ci);