Seeing processors induvidually on an SMP system dmesg

[Siju George <sgeorge.ml@xxxxxxxxx>]

Hi,

I have

options         SMP

enabled in config file X86_64_GENERIC

The kernel boots DragonFly v2.11.0.586.ga700a-DEVELOPMENT

on an Intel Quadcore box.

But in dmesg I only see 1 CPU

=================================================
DragonFly v2.11.0.586.ga700a-DEVELOPMENT #0: Mon Aug 22 13:26:20 IST 2011
    root@blk-build.hifxnx.local:/usr/obj/usr/src/sys/X86_64_GENERIC
TSC clock: 2493791010 Hz, i8254 clock: 1193201 Hz
CPU: Intel(R) Core(TM)2 Quad CPU    Q8300  @ 2.50GHz (2493.76-MHz K8-class CPU)
  Origin = "GenuineIntel"  Id = 0x1067a  Stepping = 10
  Features=0xbfebfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CLFLUSH,DTS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE>
  Features2=0x408e3bd<SSE3,DTES64,MON,DS_CPL,VMX,EST,TM2,SSSE3,CX16,xTPR,PDCM,SSE4.1,XSAVE>
  AMD Features=0x20100800<SYSCALL,NX,LM>
  AMD Features2=0x1<LAHF>
real memory  = 4284808192 (4086 MB)
avail memory = 3991494656 (3806 MB)
=================================================

also in top I see only 1 CPU

======================================================================
load averages:  0.39,  0.35,  0.23;               up 0+07:11:28

  12:29:34
31 processes: 2 running, 30 active, 1 zombie
CPU states:  1.9% user,  0.0% nice,  5.6% system,  0.8% interrupt, 91.7% idle
Memory: 798M Active, 1988M Inact, 929M Wired, 146M Cache, 416M Buf, 50M Free
Swap: 64G Total, 64G Free
======================================================================

Is this normal? Shouldn't the cores be listed separately?

Thanks

--Siju