109 		unsigned int *ecx, unsigned int *edx)  in __cpuid()  argument
120 		  "=d" (*edx)  in __cpuid()
135 		unsigned int *ecx, unsigned int *edx)  in __cpuid()  argument
143 		  "=d" (*edx)  in __cpuid()
204 	uint32_t eax, edx;  in xgetbv()  local
207 		     : "=a" (eax), "=d" (edx)  in xgetbv()
209 	return eax + ((uint64_t)edx << 32);  in xgetbv()
486 			       unsigned int *ecx, unsigned int *edx)  in cpuid_count()  argument
490 	__cpuid(eax, ebx, ecx, edx);  in cpuid_count()
529 	unsigned int eax, ebx, ecx, edx;  in print_state_component()  local
536 	cpuid_count(XSTATE_CPUID, state_bit_nr, &eax, &ebx, &ecx, &edx);  in print_state_component()
555 	unsigned int eax, ebx, ecx, edx;  in check_mpx_support()  local
557 	cpuid_count(1, 0, &eax, &ebx, &ecx, &edx);  in check_mpx_support()
572 	cpuid_count(0, 0, &eax, &ebx, &ecx, &edx);  in check_mpx_support()
581 	cpuid_count(XSTATE_CPUID, 0, &eax, &ebx, &ecx, &edx);  in check_mpx_support()