60 	unsigned int ecx = 0;  in __read_pkey_reg()  local
65 		     : "c" (ecx));  in __read_pkey_reg()
73 	unsigned int ecx = 0;  in __write_pkey_reg()  local
79 		     : : "a" (eax), "c" (ecx), "d" (edx));  in __write_pkey_reg()
84 		unsigned int *ecx, unsigned int *edx)  in __cpuid()  argument
91 		  "=c" (*ecx),  in __cpuid()
93 		: "0" (*eax), "2" (*ecx));  in __cpuid()
104 	unsigned int ecx;  in cpu_has_pkeys()  local
108 	ecx = 0x0;  in cpu_has_pkeys()
109 	__cpuid(&eax, &ebx, &ecx, &edx);  in cpu_has_pkeys()
111 	if (!(ecx & X86_FEATURE_PKU)) {  in cpu_has_pkeys()
115 	if (!(ecx & X86_FEATURE_OSPKE)) {  in cpu_has_pkeys()
134 	unsigned int ecx;  in pkey_reg_xstate_offset()  local
145 		ecx = leaf;  in pkey_reg_xstate_offset()
146 		__cpuid(&eax, &ebx, &ecx, &edx);  in pkey_reg_xstate_offset()