root@nehalem:~# xm dmesg
(XEN) Xen version 4.0.1 (Debian 4.0.1-4) (waldi@debian.org) (gcc version 4.4.5 (Debian 4.4.5-8) ) Mon Nov  7 09:18:26 CET 2011
(XEN) Bootloader: GRUB 1.98+20100804-14+squeeze1
(XEN) Command line: placeholder
(XEN) Video information:
(XEN)  VGA is text mode 80x25, font 8x16
(XEN)  VBE/DDC methods: V2; EDID transfer time: 2 seconds
(XEN) Disc information:
(XEN)  Found 2 MBR signatures
(XEN)  Found 2 EDD information structures
(XEN) Xen-e820 RAM map:
(XEN)  0000000000000000 - 00000000000a0000 (usable)
(XEN)  0000000000100000 - 00000000f7fd0000 (usable)
(XEN)  00000000f7fd0000 - 00000000f7fdfc00 (ACPI data)
(XEN)  00000000f7fdfc00 - 00000000f7fff000 (reserved)
(XEN)  00000000fec00000 - 00000000fec90000 (reserved)
(XEN)  00000000fee00000 - 00000000fee10000 (reserved)
(XEN)  00000000ffb00000 - 0000000100000000 (reserved)
(XEN)  0000000100000000 - 0000000108000000 (usable)
(XEN) System RAM: 4095MB (4193728kB)
(XEN) ACPI: RSDP 000FDC20, 0014 (r0 DELL  )
(XEN) ACPI: RSDT 000FDC34, 0030 (r1 DELL   PE2600          1 MSFT  100000A)
(XEN) ACPI: FACP 000FDC64, 0074 (r1 DELL   PE2600          1 MSFT  100000A)
(XEN) ACPI: DSDT F7FD0000, 1FD0 (r1 DELL   PE2600          1 MSFT  100000A)
(XEN) ACPI: FACS F7FDFC00, 0040
(XEN) ACPI: APIC 000FDCD8, 00BE (r1 DELL   PE2600          1 MSFT  100000A)
(XEN) ACPI: SPCR 000FDD96, 0050 (r1 DELL   PE2600          1 MSFT  100000A)
(XEN) Xen heap: 8MB (8852kB)
(XEN) Domain heap initialised
(XEN) Processor #0 15:2 APIC version 20
(XEN) Processor #6 15:2 APIC version 20
(XEN) Processor #1 15:2 APIC version 20
(XEN) Processor #7 15:2 APIC version 20
(XEN) IOAPIC[0]: apic_id 8, version 32, address 0xfec00000, GSI 0-23
(XEN) IOAPIC[1]: apic_id 9, version 32, address 0xfec80000, GSI 24-47
(XEN) IOAPIC[2]: apic_id 10, version 32, address 0xfec81000, GSI 72-95
(XEN) IOAPIC[3]: apic_id 11, version 32, address 0xfec82000, GSI 120-143
(XEN) IOAPIC[4]: apic_id 12, version 32, address 0xfec82800, GSI 144-167
(XEN) Enabling APIC mode:  Flat.  Using 5 I/O APICs
(XEN) Using scheduler: SMP Credit Scheduler (credit)
(XEN) Detected 2790.804 MHz processor.
(XEN) CPU0: Intel Extended MCE MSRs (12) available
(XEN) I/O virtualisation disabled
(XEN) CPU1: Intel Extended MCE MSRs (12) available
(XEN) CPU2: Intel Extended MCE MSRs (12) available
(XEN) CPU3: Intel Extended MCE MSRs (12) available
(XEN) Total of 4 processors activated.
(XEN) ENABLING IO-APIC IRQs
(XEN)  -> Using new ACK method
(XEN) checking TSC synchronization across 4 CPUs: passed.
(XEN) Platform timer is 3.579MHz ACPI PM Timer
(XEN) Allocated console ring of 16 KiB.
(XEN) Brought up 4 CPUs
(XEN) CPUIDLE: disabled due to no HPET. Force enable with 'cpuidle'.
(XEN) *** LOADING DOMAIN 0 ***
(XEN)  Xen  kernel: 32-bit, PAE, lsb
(XEN)  Dom0 kernel: 32-bit, PAE, lsb, paddr 0x1000000 -> 0x179d000
(XEN) PHYSICAL MEMORY ARRANGEMENT:
(XEN)  Dom0 alloc.:   0000000038000000->000000003c000000 (988426 pages to be allocated)
(XEN) VIRTUAL MEMORY ARRANGEMENT:
(XEN)  Loaded kernel: c1000000->c179d000
(XEN)  Init. ramdisk: c179d000->c2f87200
(XEN)  Phys-Mach map: c2f88000->c335d428
(XEN)  Start info:    c335e000->c335e47c
(XEN)  Page tables:   c335f000->c337e000
(XEN)  Boot stack:    c337e000->c337f000
(XEN)  TOTAL:         c0000000->c3400000
(XEN)  ENTRY ADDRESS: c142c000
(XEN) Dom0 has maximum 4 VCPUs
(XEN) Scrubbing Free RAM: .done.
(XEN) Xen trace buffers: disabled
(XEN) Std. Loglevel: Errors and warnings
(XEN) Guest Loglevel: Nothing (Rate-limited: Errors and warnings)
(XEN) Xen is relinquishing VGA console.
(XEN) *** Serial input -> DOM0 (type 'CTRL-a' three times to switch input to Xen)
(XEN) Freed 152kB init memory.
(XEN) traps.c:2308:d0 Domain attempted WRMSR 0000008b from 00000038:00000000 to 00000000:00000000.
(XEN) traps.c:2308:d0 Domain attempted WRMSR 0000008b from 00000038:00000000 to 00000000:00000000.
(XEN) traps.c:2308:d0 Domain attempted WRMSR 0000008b from 00000038:00000000 to 00000000:00000000.
(XEN) traps.c:2308:d0 Domain attempted WRMSR 0000008b from 00000038:00000000 to 00000000:00000000.
(XEN) traps.c:2308:d0 Domain attempted WRMSR 0000008b from 00000038:00000000 to 00000000:00000000.