Something

ACPI: INT_SRC_OVR (bus 1 bus_irq 0 global_irq 2 high edge)
Setting APIC routing to xen
Using ACPI (MADT) for SMP configuration information
Allocating PCI resources starting at e2000000 (gap: e0000000:1ec00000)
Build 1 zonelists
Kernel command line: root=/dev/hda1 nomce
Initializing CPU#0
PID hash table entries: 4096 (order: 12, 131072 bytes)
Xen reported: 1993.830 MHz processor
Console: colour VGA+ 80x25
Dentry cache hash table entries:  1048576 (order: 11, 8388608 bytes)
Inode-cache hash table entries: 524288 (order: 10, 4194304 bytes)
Software IO TLB enabled:
 Aperture:     64 megabytes
 Bus range;    0x0000000040000000 - 0x0000000044000000
 Kernel range: 0xffff88000a26a000 - 0xffff88000e26a000
PCI-DMA: Using software bounce buffering for IO (SWIOTLB)
Memory: 7400432k/7626120k available (2103k kernel code, 225060k reserved, 912k
data, 132k init)
Calibrating delay using timer specific routine.. 3988.66 BogoMIPS (lpj=19943322)
Mount-cache hash table entries: 256
CPU: L1 I Cache: 64K (64 bytes/line), D cache 64K (64 bytes/line)
CPU: L2 Cache: 1024K (64 bytes/line)
Brought up 2 CPUs
Initializing CPU#1
migraiton_cost=624
DMI present.
Grant table initialized
NET: Registered protocol family 16