Searched refs:mask_ecx (Results 1 – 1 of 1) sorted by relevance
947 uint32_t mask_ecx, mask_edx; in cpuid_pass1() local1033 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()[all …]