ia64_get_cpuid
if (((ia64_get_cpuid(3) >> 24) & 0xff) == 0x07)
vendor[0] = ia64_get_cpuid(0);
vendor[1] = ia64_get_cpuid(1);
tmp = ia64_get_cpuid(3);
features = ia64_get_cpuid(4);