Linux version 2.6.16 (root@vt-gs7) (gcc version 3.4.5 20051201 (Red Hat 3.4.5-2)) #1 SMP Mon Sep 11 15:11:29 CST 2006
BIOS-provided physical RAM map:
 BIOS-e820: 0000000000000000 - 000000000009f000 (usable)
 BIOS-e820: 000000000009f000 - 00000000000a0000 (reserved)
 BIOS-e820: 00000000000e0000 - 0000000000100000 (reserved)
 BIOS-e820: 0000000000100000 - 0000000007ffd000 (usable)
0MB HIGHMEM available.
127MB LOWMEM available.
found SMP MP-table at 000fcd10
DMI 2.4 present.
ACPI: Unable to locate RSDP
Intel MultiProcessor Specification v1.4
    Virtual Wire compatibility mode.
OEM ID: _HVMCPU_ Product ID: XEN          APIC at: 0xFEE00000
Processor #0 6:0 APIC version 17
Processor #1 6:0 APIC version 17
Processor #2 6:0 APIC version 17
Processor #3 6:0 APIC version 17
I/O APIC #4 Version 17 at 0xFEC00000.
Enabling APIC mode:  Flat.  Using 1 I/O APICs
Processors: 4
Allocating PCI resources starting at 10000000 (gap: 07ffd000:f8003000)
Built 1 zonelists
Kernel command line: ro root=/dev/hda1 console=ttyS0 com1=115200,8n1 console=tty0
Enabling fast FPU save and restore... done.
Enabling unmasked SIMD FPU exception support... done.
Initializing CPU#0
PID hash table entries: 512 (order: 9, 8192 bytes)
Detected 2401.470 MHz processor.
Using tsc for high-res timesource
Console: colour VGA+ 80x25
Dentry cache hash table entries: 32768 (order: 5, 131072 bytes)
Inode-cache hash table entries: 16384 (order: 4, 65536 bytes)
Memory: 123836k/131060k available (3429k kernel code, 6680k reserved, 1083k data, 396k init, 0k highmem)
Checking if this processor honours the WP bit even in supervisor mode... Ok.
Calibrating delay using timer specific routine.. 4922.64 BogoMIPS (lpj=24613226)
Mount-cache hash table entries: 512
CPU: L1 I cache: 32K, L1 D cache: 32K
CPU: L2 cache: 4096K
CPU: L3 cache: 4096K
Checking 'hlt' instruction... OK.
CPU0: Intel(R) Pentium(R) D CPU        000  @ 2.40GHz stepping 01
Booting processor 1/1 eip 2000
Initializing CPU#1
Calibrating delay using timer specific roBUG: soft lockup detected on CPU#0!

Pid: 1, comm:              swapper
EIP: 0060:[<c0124594>] CPU: 0
EIP is at __do_softirq+0x64/0x100
 EFLAGS: 00000282    Not tainted  (2.6.16 #1)
EAX: c1103220 EBX: 00000002 ECX: 00b37f60 EDX: 00000000
ESI: c0563f40 EDI: 00000000 EBP: c7fc9f08 DS: 007b ES: 007b
CR0: 8005003b CR2: fff3f000 CR3: 005cf000 CR4: 000006d0
 [<c0103d11>] show_trace+0x21/0x30
 [<c01011fa>] show_regs+0x16a/0x194
 [<c013e271>] softlockup_tick+0x81/0x90
 [<c0128d4f>] do_timer+0x3f/0xd0
 [<c0106cc0>] timer_interrupt+0x80/0xc0
 [<c013e47e>] handle_IRQ_event+0x3e/0x90
 [<c013e559>] __do_IRQ+0x89/0x100
 [<c010565c>] do_IRQ+0x1c/0x30
 [<c01038da>] common_interrupt+0x1a/0x20
 [<c0124668>] do_softirq+0x38/0x40
 [<c012472a>] irq_exit+0x3a/0x50
 [<c0111953>] smp_apic_timer_interrupt+0x63/0x70
 [<c0103968>] apic_timer_interrupt+0x1c/0x24
 [<c057987a>] smp_boot_cpus+0x49a/0x760
 [<c0579b6b>] smp_prepare_cpus+0x2b/0x30
 [<c010036a>] init+0x3a/0x210
 [<c0101229>] kernel_thread_helper+0x5/0xc
BUG: soft lockup detected on CPU#0!

Pid: 1, comm:              swapper
EIP: 0060:[<c0124594>] CPU: 0
EIP is at __do_softirq+0x64/0x100
 EFLAGS: 00000282    Not tainted  (2.6.16 #1)
EAX: c1103220 EBX: 00000002 ECX: 00b37f60 EDX: 00000000
ESI: c0563f40 EDI: 00000000 EBP: c7fc9f08 DS: 007b ES: 007b
CR0: 8005003b CR2: fff3f000 CR3: 005cf000 CR4: 000006d0
 [<c0103d11>] show_trace+0x21/0x30
 [<c01011fa>] show_regs+0x16a/0x194
 [<c013e271>] softlockup_tick+0x81/0x90
 [<c0128d4f>] do_timer+0x3f/0xd0
 [<c0106cc0>] timer_interrupt+0x80/0xc0
 [<c013e47e>] handle_IRQ_event+0x3e/0x90
 [<c013e559>] __do_IRQ+0x89/0x100
 [<c010565c>] do_IRQ+0x1c/0x30
 [<c01038da>] common_interrupt+0x1a/0x20
 [<c0124668>] do_softirq+0x38/0x40
 [<c012472a>] irq_exit+0x3a/0x50
 [<c0111953>] smp_apic_timer_interrupt+0x63/0x70
 [<c0103968>] apic_timer_interrupt+0x1c/0x24
 [<c057987a>] smp_boot_cpus+0x49a/0x760
 [<c0579b6b>] smp_prepare_cpus+0x2b/0x30
 [<c010036a>] init+0x3a/0x210
 [<c0101229>] kernel_thread_helper+0x5/0xc