Searched refs:mask_ecx (Results 1 – 1 of 1) sorted by relevance
950 uint32_t mask_ecx, mask_edx; in cpuid_pass1() local1036 mask_ecx = 0; in cpuid_pass1()1060 mask_ecx = 0xffffffff; in cpuid_pass1()1062 mask_ecx = 0xffffffff; in cpuid_pass1()1068 mask_ecx &= ~CPUID_INTC_ECX_MON; in cpuid_pass1()1112 mask_ecx = 0xffffffff; in cpuid_pass1()1118 mask_ecx &= ~CPUID_INTC_ECX_MON; in cpuid_pass1()1204 mask_ecx &= ~CPUID_INTC_ECX_MON; in cpuid_pass1()1213 mask_ecx &= ~CPUID_INTC_ECX_XSAVE; in cpuid_pass1()1214 mask_ecx &= ~CPUID_INTC_ECX_AVX; in cpuid_pass1()[all …]