Как узнать сколько процессоров используетт Debian?

На машинке два процессора Xeon 2.8, но подскажите пожалуйста, какие команды Debian подскажут, что система действительно использует ОБА процессора, а не один.

Команда top "Cpu(s):  0.0% us,  0.0% sy,  0.0% ni, 100.0% id,  0.0% wa,  0.0% hi,  0.0% si" не убедила

Команда dmesg

7504k available (1336k kernel code, 15024k reserved, 732k data, 204k init, 0k highmem)
Checking if this processor honours the WP bit even in supervisor mode... Ok.
Calibrating delay loop... 5554.17 BogoMIPS
Security Scaffold v1.0.0 initialized
Mount-cache hash table entries: 512 (order: 0, 4096 bytes)
CPU: After generic identify, caps: bfebfbff 20000000 00000000 00000000
CPU: After vendor identify, caps:  bfebfbff 20000000 00000000 00000000
monitor/mwait feature present.
using mwait in idle threads.
CPU: Trace cache: 12K uops, L1 D cache: 16K
CPU: L2 cache: 2048K
CPU: After all inits, caps:        bfebfbff 20000000 00000000 00000080
CPU: Intel(R) Xeon(TM) CPU 2.80GHz stepping 0a
Enabling fast FPU save and restore... done.
Enabling unmasked SIMD FPU exception support... done.
Checking 'hlt' instruction... OK.
Checking for popad bug... OK.
enabled ExtINT on CPU#0
ESR value before enabling vector: 00000000
ESR value after enabling vector: 00000000
ENABLING IO-APIC IRQs"

Что нибудь из-этого говорит?