Lines Matching refs:mask_ecx
947 uint32_t mask_ecx, mask_edx; in cpuid_pass1() local
1033 mask_ecx = 0; in cpuid_pass1()
1057 mask_ecx = 0xffffffff; in cpuid_pass1()
1059 mask_ecx = 0xffffffff; in cpuid_pass1()
1065 mask_ecx &= ~CPUID_INTC_ECX_MON; in cpuid_pass1()
1109 mask_ecx = 0xffffffff; in cpuid_pass1()
1115 mask_ecx &= ~CPUID_INTC_ECX_MON; in cpuid_pass1()
1201 mask_ecx &= ~CPUID_INTC_ECX_MON; in cpuid_pass1()
1210 mask_ecx &= ~CPUID_INTC_ECX_XSAVE; in cpuid_pass1()
1211 mask_ecx &= ~CPUID_INTC_ECX_AVX; in cpuid_pass1()
1212 mask_ecx &= ~CPUID_INTC_ECX_F16C; in cpuid_pass1()
1213 mask_ecx &= ~CPUID_INTC_ECX_FMA; in cpuid_pass1()
1223 cp->cp_ecx &= mask_ecx; in cpuid_pass1()