Searched refs:mask_ecx (Results 1 – 1 of 1) sorted by relevance
4010 uint32_t mask_ecx, mask_edx; in cpuid_pass_basic() local4036 mask_ecx = 0; in cpuid_pass_basic()4060 mask_ecx = 0xffffffff; in cpuid_pass_basic()4062 mask_ecx = 0xffffffff; in cpuid_pass_basic()4068 mask_ecx &= ~CPUID_INTC_ECX_MON; in cpuid_pass_basic()4112 mask_ecx = 0xffffffff; in cpuid_pass_basic()4118 mask_ecx &= ~CPUID_INTC_ECX_MON; in cpuid_pass_basic()4135 mask_ecx = 0xffffffff; in cpuid_pass_basic()4209 mask_ecx &= ~CPUID_INTC_ECX_MON; in cpuid_pass_basic()4218 mask_ecx &= ~CPUID_INTC_ECX_XSAVE; in cpuid_pass_basic()[all …]