Re: Question about printcpuinfo in sys/amd64/amd64/indentcpu.c

2010-08-23 Thread Garrett Cooper
On Mon, Aug 23, 2010 at 5:07 AM, John Baldwin wrote: > On Friday, August 20, 2010 10:14:46 am Garrett Cooper wrote: >> Hi, >>     Currently the code in identcpu.c does a check for a specific cpu >> value extension. This is set to 0x8004 (even though the >> corresponding code below iterates thr

Re: Question about printcpuinfo in sys/amd64/amd64/indentcpu.c

2010-08-23 Thread John Baldwin
On Friday, August 20, 2010 10:14:46 am Garrett Cooper wrote: > Hi, > Currently the code in identcpu.c does a check for a specific cpu > value extension. This is set to 0x8004 (even though the > corresponding code below iterates through 0x8002:0x8005): It does not invoke 0x8005