Symbol: vmf_ecx
sys/i386/i386/machdep.c
962
vmf.vmf_ecx = sizeof(struct bios_smap);
sys/x86/cpufreq/smist.c
140
*smi_data = vmf.vmf_ecx;