Just an observation: - print_INTEL_info and print_INTEL_TLB are missing from amd64 identcpu.c - print_INTEL_TLB doesn't cover all the codes defined by Intel specs - not sure; perhaps print_INTEL_info should use deterministic cache parameters as provided by CPUID 0x4 for a more complete coverage... -- Andriy Gapon