dual cpu and top in 5.3

[Chris]

Hi, I have a dual athlon mp system running FreeBSD 5.3-RELEASE-p2, I
have wondered if both cpu's should show in top.

Here is a snapshot of my top output.

last pid: 15520;  load averages:  0.28,  0.09,  0.03    up 7+23:21:08  23:05:33
153 processes: 2 running, 151 sleeping
CPU states:  0.2% user,  0.0% nice,  3.3% system,  2.5% interrupt, 94.0% idle
Mem: 770M Active, 67M Inact, 115M Wired, 40M Cache, 112M Buf, 9804K Free
Swap: 2048M Total, 920K Used, 2047M Free

I compiled a SMP kernel of course, but I am not confident I have this
setup right because of lack of evidence showing I am in SMP modein
top, here is my dmesg boot log which does say 2 cpus detected.

Copyright (c) 1992-2004 The FreeBSD Project.
Copyright (c) 1979, 1980, 1983, 1986, 1988, 1989, 1991, 1992, 1993, 1994
        The Regents of the University of California. All rights reserved.
FreeBSD 5.3-RELEASE-p2 #0: Tue Dec 28 17:24:11 UTC 2004
    root at web1.hostingfreak.net:/usr/obj/usr/src/sys/WEB1
Timecounter "i8254" frequency 1193182 Hz quality 0
CPU: AMD Athlon(TM) MP 2000+ (1666.74-MHz 686-class CPU)
  Origin = "AuthenticAMD"  Id = 0x662  Stepping = 2
  Features=0x383fbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,MMX,FXSR,SSE>
  AMD Features=0xc0480000<MP,AMIE,DSP,3DNow!>
real memory  = 1073741824 (1024 MB)
avail memory = 1045397504 (996 MB)
MPTable: <ASUS     PROD00000000>
FreeBSD/SMP: Multiprocessor System Detected: 2 CPUs
 cpu0 (BSP): APIC ID:  0
 cpu1 (AP): APIC ID:  1
ioapic0: Assuming intbase of 0
ioapic0 <Version 1.1> irqs 0-23 on motherboard
npx0: [FAST]
npx0: <math processor> on motherboard
npx0: INT 16 interface
pcib0: <MPTable Host-PCI bridge> pcibus 0 on motherboard
pci0: <PCI bus> on pcib0
agp0: <AMD 762 host to AGP bridge> port 0xe800-0xe803 mem
0xfb800000-0xfb800fff,0xfc000000-0xfdffffff at device 0.0 on pci0
pcib1: <MPTable PCI-PCI bridge> at device 1.0 on pci0
pci1: <PCI bus> on pcib1
pci1: <display, VGA> at device 5.0 (no driver attached)
isab0: <PCI-ISA bridge> at device 7.0 on pci0
isa0: <ISA bus> on isab0
atapci0: <AMD 768 UDMA100 controller> port
0xd800-0xd80f,0x376,0x170-0x177,0x3f6,0x1f0-0x1f7 at device 7.1 on
pci0
ata0: channel #0 on atapci0
ata1: channel #1 on atapci0
pci0: <bridge, PCI-unknown> at device 7.3 (no driver attached)
xl0: <3Com 3c905C-TX Fast Etherlink XL> port 0xd400-0xd47f mem
0xf8000000-0xf800007f irq 16 at device 8.0 on pci0
miibus0: <MII bus> on xl0
ukphy0: <Generic IEEE 802.3u media interface> on miibus0
ukphy0:  10baseT, 10baseT-FDX, 100baseTX, 100baseTX-FDX, auto
xl0: Ethernet address: 00:e0:18:da:fa:c1
pcib2: <MPTable PCI-PCI bridge> at device 16.0 on pci0
pci2: <PCI bus> on pcib2
cpu0 on motherboard
cpu1 on motherboard
orm0: <ISA Option ROM> at iomem 0xc0000-0xc7fff on isa0
pmtimer0 on isa0
atkbdc0: <Keyboard controller (i8042)> at port 0x64,0x60 on isa0
atkbd0: <AT Keyboard> irq 1 on atkbdc0
kbd0 at atkbd0
atkbd0: [GIANT-LOCKED]
ppc0: parallel port not found.
sc0: <System console> at flags 0x100 on isa0
sc0: VGA <16 virtual consoles, flags=0x300>
sio0 at port 0x3f8-0x3ff irq 4 flags 0x10 on isa0
sio0: type 16550A
sio1: configured irq 3 not in bitmap of probed irqs 0
sio1: port may not be enabled
vga0: <Generic ISA VGA> at port 0x3c0-0x3df iomem 0xa0000-0xbffff on isa0
unknown: <PNP0303> can't assign resources (port)
Timecounters tick every 1.000 msec
ipfw2 initialized, divert enabled, rule-based forwarding enabled,
default to accept, logging limited to 50 packets/entry by default
ad0: 39083MB <Maxtor 5T040H4/TAH71DP0> [79408/16/63] at ata0-master UDMA100
acd0: CDROM <GCR-8521B/1.00> at ata1-master PIO4
SMP: AP CPU #1 Launched!
Mounting root from ufs:/dev/ad0s1a

Is it all looking dandy and I am ok or have I missed something, and
should top show 2 cpu's or just 1?