SMP Problem on IBM x330 Server

[Tom Everett]

I originally posted this to "FreeBSD Questions" but was told that the 
ACPI list might be more appropriate.

I'm running the "stock" FreeBSD 7.1 kernel on an IBM x330 machine.  The 
machine has two physical processors but it seems that FreeBSD 7.1 only 
sees one.  I downloaded the kernel source and it seems that the GENERIC 
kernel has SMP installed.  Is there something else I can try?  Thanks in 
advance for your wisdom.

$ sysctl -a | grep cpu
kern.threads.virtual_cpu: 1
kern.ccpu: 0
kern.smp.cpus: 1
kern.smp.maxcpus: 16
debug.cpufreq.verbose: 0
debug.cpufreq.lowest: 0
debug.kdb.stop_cpus: 1
debug.stop_cpus_with_nmi: 1
debug.PMAP1changedcpu: 0
hw.ncpu: 1
hw.acpi.cpu.cx_lowest: C1
machdep.cpu_idle_hlt: 1
machdep.hlt_cpus: 0
dev.cpu.0.%desc: ACPI CPU
dev.cpu.0.%driver: cpu
dev.cpu.0.%location: handle=\_PR_.CPU1
dev.cpu.0.%pnpinfo: _HID=none _UID=0
dev.cpu.0.%parent: acpi0
dev.cpu.0.cx_supported: C1/0
dev.cpu.0.cx_lowest: C1
dev.cpu.0.cx_usage: 100.00%



Copyright (c) 1992-2009 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 7.1-RELEASE #0: Thu Jan  1 14:37:25 UTC 2009
   root at logan.cse.buffalo.edu:/usr/obj/usr/src/sys/GENERIC
Timecounter "i8254" frequency 1193182 Hz quality 0
CPU: Intel(R) Pentium(R) III CPU family      1133MHz (1128.54-MHz 
686-class CPU)
 Origin = "GenuineIntel"  Id = 0x6b1  Stepping = 1
 
Features=0x383fbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,MMX,FXSR,SSE> 

real memory  = 1073659904 (1023 MB)
avail memory = 1036943360 (988 MB)
ACPI APIC Table: <IBM    SEREMRLD>
ioapic1 <Version 1.1> irqs 16-31 on motherboard
ioapic0 <Version 1.1> irqs 0-15 on motherboard
kbd1 at kbdmux0
ath_hal: 0.9.20.3 (AR5210, AR5211, AR5212, RF5111, RF5112, RF2413, RF5413)
acpi0: <IBM SEREMRLD> on motherboard
acpi0: Overriding SCI Interrupt from IRQ 3 to IRQ 30
acpi0: [ITHREAD]
acpi0: Power Button (fixed)
Timecounter "ACPI-fast" frequency 3579545 Hz quality 1000
acpi_timer0: <24-bit timer at 3.579545MHz> port 0x4e8-0x4eb on acpi0
pcib0: <ACPI Host-PCI bridge> on acpi0
pci0: <ACPI PCI bus> on pcib0
vgapci0: <VGA-compatible display> mem 
0xfeb80000-0xfebfffff,0xf0000000-0xf7ffffff at device 1.0 on pci0
fxp0: <Intel 82559 Pro/100 Ethernet> port 0x2200-0x223f mem 
0xfeb7f000-0xfeb7ffff,0xfea00000-0xfeafffff irq 27 at device 2.0 on pci0
fxp0: Disabling dynamic standby mode in EEPROM
fxp0: New EEPROM ID: 0x48a0
fxp0: EEPROM checksum @ 0x3f: 0xbe76 -> 0xbe76
miibus0: <MII bus> on fxp0
inphy0: <i82555 10/100 media interface> PHY 1 on miibus0
inphy0:  10baseT, 10baseT-FDX, 100baseTX, 100baseTX-FDX, auto
fxp0: Ethernet address: 00:02:55:c6:69:58
fxp0: [ITHREAD]
fxp1: <Intel 82559 Pro/100 Ethernet> port 0x2240-0x227f mem 
0xfeb7e000-0xfeb7efff,0xfe900000-0xfe9fffff irq 25 at device 10.0 on pci0
fxp1: Disabling dynamic standby mode in EEPROM
fxp1: New EEPROM ID: 0x48a0
fxp1: EEPROM checksum @ 0x3f: 0x2d79 -> 0x2d79
miibus1: <MII bus> on fxp1
inphy1: <i82555 10/100 media interface> PHY 1 on miibus1
inphy1:  10baseT, 10baseT-FDX, 100baseTX, 100baseTX-FDX, auto
fxp1: Ethernet address: 00:02:55:c6:69:59
fxp1: [ITHREAD]
isab0: <PCI-ISA bridge> port 0x440-0x44f at device 15.0 on pci0
isa0: <ISA bus> on isab0
atapci0: <ServerWorks ROSB4 UDMA33 controller> port 
0x1f0-0x1f7,0x3f6,0x170-0x177,0x376,0x700-0x70f at device 15.1 on pci0
ata0: <ATA channel 0> on atapci0
ata0: [ITHREAD]
ata1: <ATA channel 1> on atapci0
ata1: [ITHREAD]
ohci0: <OHCI (generic) USB controller> mem 0xfeb7d000-0xfeb7dfff irq 7 
at device 15.2 on pci0
ohci0: [GIANT-LOCKED]
ohci0: [ITHREAD]
usb0: OHCI version 1.0, legacy support
usb0: <OHCI (generic) USB controller> on ohci0
usb0: USB revision 1.0
uhub0: <(0x1166) OHCI root hub, class 9/0, rev 1.00/1.00, addr 1> on usb0
uhub0: 2 ports with 2 removable, self powered
pcib1: <ACPI Host-PCI bridge> on acpi0
pci1: <ACPI PCI bus> on pcib1
ahc0: <Adaptec aic7892 Ultra160 SCSI adapter> port 0x2300-0x23ff mem 
0xeffff000-0xefffffff irq 28 at device 3.0 on pci1
ahc0: [ITHREAD]
aic7892: Ultra160 Wide Channel A, SCSI Id=7, 32/253 SCBs
atapci1: <Promise PDC40779 SATA300 controller> port 
0x2280-0x22ff,0x2400-0x24ff mem 
0xefffe000-0xefffefff,0xeffc0000-0xeffdffff irq 20 at device 5.0 on pci1
atapci1: [ITHREAD]
atapci1: [ITHREAD]
ata2: <ATA channel 0> on atapci1
ata2: [ITHREAD]
ata3: <ATA channel 1> on atapci1
ata3: [ITHREAD]
ata4: <ATA channel 2> on atapci1
ata4: [ITHREAD]
ata5: <ATA channel 3> on atapci1
ata5: [ITHREAD]
atkbdc0: <Keyboard controller (i8042)> port 0x60,0x64 irq 1 on acpi0
atkbd0: <AT Keyboard> irq 1 on atkbdc0
kbd0 at atkbd0
atkbd0: [GIANT-LOCKED]
atkbd0: [ITHREAD]
fdc0: <floppy drive controller> port 0x3f0-0x3f5 irq 6 drq 2 on acpi0
fdc0: [FILTER]
fd0: <1440-KB 3.5" drive> on fdc0 drive 0
sio0: <16550A-compatible COM port> port 0x3f8-0x3ff irq 4 flags 0x10 on 
acpi0
sio0: type 16550A
sio0: [FILTER]
cpu0: <ACPI CPU> on acpi0
pmtimer0 on isa0
orm0: <ISA Option ROMs> at iomem 
0xc0000-0xcafff,0xcb000-0xcc7ff,0xcc800-0xd4fff pnpid ORM0000 on isa0
ppc0: parallel port not found.
sc0: <System console> at flags 0x100 on isa0
sc0: VGA <16 virtual consoles, flags=0x300>
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
Timecounter "TSC" frequency 1128539539 Hz quality 800
Timecounters tick every 1.000 msec
acd0: CDROM <LG CD-ROM CRN-8245B/1.13> at ata1-master UDMA33
ad4: 476940MB <Seagate ST3500320AS SD15> at ata2-master SATA150
ad6: 476940MB <Hitachi HDP725050GLA360 GM4OA52A> at ata3-master SATA300
Waiting 5 seconds for SCSI devices to settle
ar0: 476939MB <Promise Fasttrak RAID1> status: READY
ar0: disk0 READY (master) using ad4 at ata2-master
ar0: disk1 READY (mirror) using ad6 at ata3-master
Trying to mount root from ufs:/dev/ar0s1a