John Baldwin jhb at
Mon Aug 1 13:59:39 UTC 2011

On Sunday, July 31, 2011 11:22:18 am Andriy Gapon wrote:
> 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 
> as provided by CPUID 0x4 for a more complete coverage...

It might be nice to create a sys/x86/x86/identcpu.c to merge the two which 
would help with some of this.  print_INTEL_TLB() hasn't been updated since it 
was added AFAIK which probably explains why it doesn't know about all of the 

John Baldwin

More information about the freebsd-current mailing list