Verifying that I have SMP up and running

[Jim Stapleton]

I added SMP to the kernel config, but I want to make sure that it's
running. I tried top, as I'm used to seeing multiple processors listed
there (Tru64, Linux), but did not see it in FreeBSD. However I got the
dmesg below (see end of mail, the beginning of dmesg output), which
seems to indicate it's up an running. Can someone verify this, and are
there any good tools to show how much each CPU is using in the way of
resources?

Thanks,
-Jim Stapleton

Copyright (c) 1992-2007 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 is a registered trademark of The FreeBSD Foundation.
FreeBSD 6.2-STABLE #0: Sun Apr  8 14:50:03 UTC 2007
    root at elrond.ameritech.net:/usr/obj/usr/src/sys/JIM20070408-SMP
Timecounter "i8254" frequency 1193182 Hz quality 0
CPU: Dual Core AMD Opteron(tm) Processor 180 (2412.38-MHz 686-class CPU)
  Origin = "AuthenticAMD"  Id = 0x20f32  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=0x1<SSE3>
  AMD Features=0xe2500800<SYSCALL,NX,MMX+,FFXSR,LM,3DNow+,3DNow>
  AMD Features2=0x3<LAHF,CMP>
  Cores per package: 2
real memory  = 1073676288 (1023 MB)
avail memory = 1033093120 (985 MB)
ACPI APIC Table: <Nvidia AWRDACPI>
FreeBSD/SMP: Multiprocessor System Detected: 2 CPUs
 cpu0 (BSP): APIC ID:  0
 cpu1 (AP): APIC ID:  1
ioapic0: Changing APIC ID to 2
ioapic0 <Version 1.1> irqs 0-23 on motherboard