>Number:         32145
>Category:       kern
>Synopsis:       3 CPUs found in single HT CPU machine in current
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    kern-bug-people
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Wed Nov 23 01:09:00 +0000 2005
>Originator:     Tracy Di Marco White
>Release:        NetBSD 3.99.11
>Organization:
TNF
>Environment:
System: NetBSD afs-test.iastate.edu 3.99.11 NetBSD 3.99.11 (GENERIC.MPACPI) #1: Tue Nov 22 15:28:18 CST 2005 root@afs-test.iastate.edu:/usr/obj/i386/GENERIC.MPACPI i386
Architecture: i386
Machine: i386
>Description:
# dmesg|grep cpu
cpu0 at mainbus0: apid 0 (boot processor)
cpu0: Intel (686-class), 3192.15 MHz, id 0xf34
cpu0: features bfebfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR>
cpu0: features bfebfbff<PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX>
cpu0: features bfebfbff<FXSR,SSE,SSE2,SS,HTT,TM,SBF>
cpu0: features2 441d<SSE3,MONITOR,DS-CPL,CID,xTPR>
cpu0: "Intel(R) Pentium(R) 4 CPU 3.20GHz"
cpu0: I-cache 12K uOp cache 8-way
cpu0: L2 cache 1 MB 64B/line 8-way
cpu0: ITLB 4K/4M: 64 entries
cpu0: DTLB 4K/4M: 64 entries
cpu0: running without thermal monitor!
cpu0: calibrating local timer
cpu0: apic clock running at 199 MHz
cpu0: 32 page colors
cpu1 at mainbus0: apid 1 (application processor)
cpu1: starting
cpu1: Intel (686-class), 3192.01 MHz, id 0xf34
cpu1: features bfebfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR>
cpu1: features bfebfbff<PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX>
cpu1: features bfebfbff<FXSR,SSE,SSE2,SS,HTT,TM,SBF>
cpu1: features2 441d<SSE3,MONITOR,DS-CPL,CID,xTPR>
cpu1: "Intel(R) Pentium(R) 4 CPU 3.20GHz"
cpu1: I-cache 12K uOp cache 8-way
cpu1: L2 cache 1 MB 64B/line 8-way
cpu1: ITLB 4K/4M: 64 entries
cpu1: DTLB 4K/4M: 64 entries
cpu1: running without thermal monitor!
cpu2 at mainbus0: (uniprocessor)
cpu2: Intel (686-class), 3192.01 MHz, id 0xf34
cpu2: features bfebfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR>
cpu2: features bfebfbff<PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX>
cpu2: features bfebfbff<FXSR,SSE,SSE2,SS,HTT,TM,SBF>
cpu2: features2 441d<SSE3,MONITOR,DS-CPL,CID,xTPR>
cpu2: "Intel(R) Pentium(R) 4 CPU 3.20GHz"
cpu2: I-cache 12K uOp cache 8-way
cpu2: L2 cache 1 MB 64B/line 8-way
cpu2: ITLB 4K/4M: 64 entries
cpu2: DTLB 4K/4M: 64 entries
cpu2: running without thermal monitor!
cpu1: CPU 1 running
# dmesg | grep acpi|grep OemId
acpi0: X/RSDT: OemId <PTLTD ,  RSDT  ,06040000>, AslId < LTP,00000000>

>How-To-Repeat:
install! Boot an MPACPI kernel.

>Fix:

>Unformatted:
 CVS update as of 20051122