Symbol: cpu_check_vmm_cap
sys/arch/amd64/amd64/identcpu.c
61
void cpu_check_vmm_cap(struct cpu_info *);
sys/arch/amd64/amd64/identcpu.c
777
cpu_check_vmm_cap(ci);