hv_host_info_edx  217 arch/x86/kernel/cpu/mshyperv.c 	int hv_host_info_edx;
hv_host_info_edx  247 arch/x86/kernel/cpu/mshyperv.c 		hv_host_info_edx = cpuid_edx(HYPERV_CPUID_VERSION);
hv_host_info_edx  252 arch/x86/kernel/cpu/mshyperv.c 			hv_host_info_edx >> 24, hv_host_info_edx & 0xFFFFFF);