2 extern unsigned long xen_get_cpuid(int);
10 for (i = 0; i < 5; ++i)
11 cpuid[i] = xen_get_cpuid(i);
12 if ((cpuid[0] & 0xff) != 'H') return 0;
13 if ((cpuid[3] & 0xff) != 0x4) return 0;
14 if (((cpuid[3] >> 8) & 0xff) != 0x0) return 0;
15 if (((cpuid[3] >> 16) & 0xff) != 0x0) return 0;
16 if (((cpuid[3] >> 24) & 0x7) != 0x7) return 0;