304 static void xen_cpuid(unsigned int *ax, unsigned int *bx,  in xen_cpuid()  argument
315 	switch (*ax) {  in xen_cpuid()
324 		*ax = 0;  in xen_cpuid()
342 		: "=a" (*ax),  in xen_cpuid()
346 		: "0" (*ax), "2" (*cx));  in xen_cpuid()
364 	unsigned int ax, bx, cx, dx;  in xen_check_mwait()  local
385 	ax = 1;  in xen_check_mwait()
388 	native_cpuid(&ax, &bx, &cx, &dx);  in xen_check_mwait()
400 	ax = CPUID_MWAIT_LEAF;  in xen_check_mwait()
405 	native_cpuid(&ax, &bx, &cx, &dx);  in xen_check_mwait()
428 	unsigned int ax, bx, cx, dx;  in xen_init_cpuid_mask()  local
441 	ax = 1;  in xen_init_cpuid_mask()
443 	cpuid(1, &ax, &bx, &cx, &dx);  in xen_init_cpuid_mask()