Lines Matching refs:mask_ecx
949 uint32_t mask_ecx, mask_edx;
1035 mask_ecx = 0;
1059 mask_ecx = 0xffffffff;
1061 mask_ecx = 0xffffffff;
1067 mask_ecx &= ~CPUID_INTC_ECX_MON;
1111 mask_ecx = 0xffffffff;
1117 mask_ecx &= ~CPUID_INTC_ECX_MON;
1203 mask_ecx &= ~CPUID_INTC_ECX_MON;
1212 mask_ecx &= ~CPUID_INTC_ECX_XSAVE;
1213 mask_ecx &= ~CPUID_INTC_ECX_AVX;
1214 mask_ecx &= ~CPUID_INTC_ECX_F16C;
1215 mask_ecx &= ~CPUID_INTC_ECX_FMA;
1225 cp->cp_ecx &= mask_ecx;