This is a dual, dual-core HT EM64T Xeon PowerEdge 2850 with 12 GB of 
RAM. wm0 and wm1 are the two identical onboard GigE NICs, wm2 through 
wm7 are identical dual port PCI-X cards. This is an i386 kernel, not 
amd64 (yet).

...
cpu7 at mainbus0: apid 5 (application processor)
cpu7: starting
cpu7: Intel (686-class), 2793.19 MHz, id 0xf48
cpu7: features bfebfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR>
cpu7: features bfebfbff<PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX>
cpu7: features bfebfbff<FXSR,SSE,SSE2,SS,HTT,TM,SBF>
cpu7: features2 649d<SSE3,MONITOR,DS-CPL,EST,CID,xTPR>
cpu7: features3 20100000<EM64T>
cpu7: "Intel(R) Xeon(TM) CPU 2.80GHz"
cpu7: I-cache 12K uOp cache 8-way
cpu7: L2 cache 2MB 64B/line 8-way
cpu7: ITLB 4K/4M: 64 entries
cpu7: DTLB 4k/4M: 64 entries
cpu7: using thermal monitor 1
cpu7: Enhanced SpeedStep (1372 mV)  - unknown CPU or operating point.
...
wm0 at pci6 dev 7 function 0: Intel i82541GI 1000Base-T Ethernet, rev. 5
wm0: interrupting at ioapic2 pin 0 (irq 11)
wm0: 32-bit 77MHz PCI bus
wm0: 65536 (16 address bits) SPI EEPROM
wm0: Ethernet address 00:13:72:xx:xx:xx
igphy0 at wm0 phy 1: Intel IGP01E1000 Gigabit PHY, rev. 0
igphy0: 10baseT, 10baseT-FDX, 100baseTX, 100baseT-FDX, 1000BaseT, 
1000baseT-FDX, auto
ukphy0 at wm0 phy 2: Generic IEEE 803.3u media interface
ukphy0: OUI 0x000000, model 0x0000, rev. 0
ukphy0: no media present
...
wm2 at pci9 dev 4 function 0: Intel i82546EB 1000Base-T Ethernet, rev. 1
wm2: interrupting at ioapic 3 pin 10 (irq 7)
wm2: 64-bit 133MHz PCIX bus
wm2: 256 word (8 address bits) MicroWire EEPROM
wm2: Ethernet address 00:04:23:xx:xx:xx
makphy0 at wm2 phy 1: Marvell 88E1011 Gigabit PHY, rev 3
makphy0: 10baseT, 10baseT-FDX, 100baseTX, 100baseT-FDX, 1000BaseT, 
1000baseT-FDX, auto
...
ichlpcib0 at pci0 dev 31 function 0
ichlpcib0: vendor 0x8086 product 0x24d0 (rev. 0x02)
ichlpcib0: TCO (watchdog) timer configured
ichlpcib0: No SpeedStep
...
cpu4: CPU 1 running
cpu6: CPU 3 running
cpu2: CPU 2 running
cpu3: CPU 4 running
cpu1: CPU 6 running
cpu5: CPU 7 running
cpu7: CPU 5 running
...
wm0: link state changed to DOWN
wm1: link state changed to DOWN
wm2: link state changed to DOWN
wm3: link state changed to DOWN
wm4: link state changed to DOWN
wm5: link state changed to DOWN
wm6: link state changed to DOWN
wm7: link state changed to DOWN
wm4: unable to allocate or map rx buffer 232, error = 55
wm4: interface not running
wm3: unable to allocate or map rx buffer 232, error = 55
wm3: interface not running
wm2: unable to allocate or map rx buffer 232, error = 55
wm2: interface not running
wm1: unable to allocate or map rx buffer 231, error = 55
wm1: interface not running
wm0: unable to allocate or map rx buffer 232, error = 55
wm0: interface not running
wm5: device timeout (txfree 4095 txsfree 63 txnext 45)
wm7: device timeout (txfree 4094 txsfree 62 txnext 46)
wm6: device timeout (txfree 4094 txsfree 62 txnext 46)
wm5: device timeout (txfree 4095 txsfree 63 txnext 45)
wm7: device timeout (txfree 4095 txsfree 63 txnext 45)
wm6: device timeout (txfree 4095 txsfree 63 txnext 45)
... (wm5, 7, 6)