306 static void xen_cpuid(unsigned int *ax, unsigned int *bx,  in xen_cpuid()  argument
317 	switch (*ax) {  in xen_cpuid()
326 		*ax = 0;  in xen_cpuid()
344 		: "=a" (*ax),  in xen_cpuid()
348 		: "0" (*ax), "2" (*cx));  in xen_cpuid()
366 	unsigned int ax, bx, cx, dx;  in xen_check_mwait()  local
387 	ax = 1;  in xen_check_mwait()
390 	native_cpuid(&ax, &bx, &cx, &dx);  in xen_check_mwait()
402 	ax = CPUID_MWAIT_LEAF;  in xen_check_mwait()
407 	native_cpuid(&ax, &bx, &cx, &dx);  in xen_check_mwait()
430 	unsigned int ax, bx, cx, dx;  in xen_init_cpuid_mask()  local
443 	ax = 1;  in xen_init_cpuid_mask()
445 	cpuid(1, &ax, &bx, &cx, &dx);  in xen_init_cpuid_mask()