Searched refs:mask_ecx (Results 1 – 1 of 1) sorted by relevance
4016 uint32_t mask_ecx, mask_edx; in cpuid_pass_basic() local4042 mask_ecx = 0; in cpuid_pass_basic()4066 mask_ecx = 0xffffffff; in cpuid_pass_basic()4068 mask_ecx = 0xffffffff; in cpuid_pass_basic()4074 mask_ecx &= ~CPUID_INTC_ECX_MON; in cpuid_pass_basic()4118 mask_ecx = 0xffffffff; in cpuid_pass_basic()4124 mask_ecx &= ~CPUID_INTC_ECX_MON; in cpuid_pass_basic()4141 mask_ecx = 0xffffffff; in cpuid_pass_basic()4215 mask_ecx &= ~CPUID_INTC_ECX_MON; in cpuid_pass_basic()4224 mask_ecx &= ~CPUID_INTC_ECX_XSAVE; in cpuid_pass_basic()[all …]