Dual-core Athlon

[Neil Booth]

I don't believe Dragonfly is using / enabling the second CPU
of a dual-core Athlon I bought recently.  At least, top only
shows one cpu.  Is there a way to enable it, or can Dragonfly
not do that yet?

Here's the beginning of the dmesg.

Neil.

DragonFly 2.2.0-RELEASE #7: Sun Feb 15 16:07:15 PST 2009
    root at pkgbox.dragonflybsd.org:/build/usr.obj/usr/src/sys/GENERIC
TSC clock: 2600127589 Hz, i8254 clock: 1193175 Hz
CPU: AMD Athlon(tm) Dual Core Processor 5050e (2600.16-MHz 686-class
CPU)
  Origin = "AuthenticAMD"  Id = 0x60fb2  Stepping = 2
  Features=0x178bfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CLFLUSH,MMX,FXSR,SSE,SSE2,HTT>
  Features2=0x2001<SSE3,CX16>
  Hyperthreading: 2 logical CPUs
  AMD Features=0xe8500000<NX,AMIE,RDTSCP,LM,DSP,3DNow!>
real memory  = 3489333248 (3407552K bytes)
avail memory = 3377623040 (3298460K bytes)
Preloaded elf kernel "/boot/kernel" at 0xc07c5000.
Preloaded elf module "/boot/modules/acpi.ko" at 0xc07c5268.
Pentium Pro MTRR support enabled
md0: Malloc disk
pcibios: BIOS version 3.00
Using $PIR table, 19 entries at 0xc00f4cb0
ACPI: RSDP @ 0x0xf9910/0x0014 (v  0 ACPIAM)
ACPI: RSDT @ 0x0xcffb0000/0x0038 (v  1 100808 RSDT1710 0x20081008 MSFT
0x00000097)
ACPI: FACP @ 0x0xcffb0200/0x0084 (v  2 100808 FACP1710 0x20081008 MSFT
0x00000097)
ACPI: DSDT @ 0x0xcffb0440/0x4D17 (v  1  RS78E RS78E27A 0x0000027A INTL
0x20051117)
ACPI: FACS @ 0x0xcffbe000/0x0040
ACPI: APIC @ 0x0xcffb0390/0x006C (v  1 100808 APIC1710 0x20081008 MSFT
0x00000097)
ACPI: MCFG @ 0x0xcffb0400/0x003C (v  1 100808 OEMMCFG  0x20081008 MSFT
0x00000097)
ACPI: OEMB @ 0x0xcffbe040/0x0071 (v  1 100808 OEMB1710 0x20081008 MSFT
0x00000097)
ACPI: HPET @ 0x0xcffb5160/0x0038 (v  1 100808 OEMHPET  0x20081008 MSFT
0x00000097)
sched_ithd: stray interrupt 7 on cpu 0
npx0: <math processor> on motherboard
npx0: INT 16 interface
Using XMM optimized bcopy/copyin/copyout
acpi0: <100808 RSDT1710> on motherboard
acpi0: Power Button (fixed)
Warning: ACPI is disabling APM's device.  You can't run both
acpi_timer0: <32-bit timer at 3.579545MHz> port 0x808-0x80b on acpi0
cpu0: <ACPI CPU> on acpi0
acpi_button0: <Power Button> on acpi0
atkbdc0: <Keyboard controller (i8042)> port 0x64,0x60 irq 1 on acpi0