[root@f16dom0 ~]# xm dmesg
 __  __            _  _    _   ____      __     __      _  __
 \ \/ /___ _ __   | || |  / | |___ \    / /_   / _| ___/ |/ /_
  \  // _ \ '_ \  | || |_ | |   __) |__| '_ \ | |_ / __| | '_ \
  /  \  __/ | | | |__   _|| |_ / __/|__| (_) ||  _| (__| | (_) |
 /_/\_\___|_| |_|    |_|(_)_(_)_____|   \___(_)_|  \___|_|\___/

(XEN) Xen version 4.1.2 (mockbuild@phx2.fedoraproject.org) (gcc version 4.6.2 20111027 (Red Hat 4.6.2-1) (GCC) ) Fri Feb  3 22:02:40 UTC 2012
(XEN) Latest ChangeSet: unavailable
(XEN) Bootloader: GRUB 1.99
(XEN) Command line: loglvl=all iommu=verbose placeholder
(XEN) Video information:
(XEN)  VGA is text mode 80x25, font 8x16
(XEN)  VBE/DDC methods: V2; EDID transfer time: 1 seconds
(XEN) Disc information:
(XEN)  Found 0 MBR signatures
(XEN)  Found 0 EDD information structures
(XEN) Xen-e801 RAM map:
(XEN)  0000000000000000 - 000000000009a800 (usable)
(XEN)  0000000000100000 - 0000000020000000 (usable)
(XEN) System RAM: 511MB (523880kB)
(XEN) ACPI Error (tbxfroot-0220): A valid RSDP was not found [20070126]
(XEN) No NUMA configuration found
(XEN) Faking a node at 0000000000000000-0000000020000000
(XEN) Domain heap initialised
(XEN) found SMP MP-table at 000fce60
(XEN) DMI not present.
(XEN) Using APIC driver default
(XEN) Table is not found!
(XEN) Intel MultiProcessor Specification v1.4
(XEN)     Virtual Wire compatibility mode.
(XEN) OEM ID: SMCI--MB Product ID: SUPERM APIC at: 0xFEE00000
(XEN) Processor #0 6:10 APIC version 21
(XEN) Processor #2 6:10 APIC version 21
(XEN) Processor #4 6:10 APIC version 21
(XEN) Processor #6 6:10 APIC version 21
(XEN) I/O APIC #2 Version 32 at 0xFEC00000.
(XEN) Enabling APIC mode:  Flat.  Using 1 I/O APICs
(XEN) Processors: 4
(XEN) IRQ limits: 24 GSI, 760 MSI/MSI-X
(XEN) Not enabling x2APIC: depends on iommu_supports_eim.
(XEN) Using scheduler: SMP Credit Scheduler (credit)
(XEN) Detected 2195.096 MHz processor.
(XEN) Initing memory sharing.
(XEN) mce_intel.c:1162: MCA Capability: BCAST 1 SER 0 CMCI 1 firstbank 0 extended MCE MSR 0
(XEN) Intel machine check reporting enabled
(XEN) I/O virtualisation disabled
(XEN) Enabled directed EOI with ioapic_ack_old on!
(XEN) ENABLING IO-APIC IRQs
(XEN)  -> Using old ACK method
(XEN) ..TIMER: vector=0xF0 apic1=0 pin1=2 apic2=-1 pin2=-1
(XEN) TSC deadline timer enabled
(XEN) Platform timer is 1.193MHz PIT
(XEN) Allocated console ring of 32 KiB.
(XEN) VMX: Supported advanced features:
(XEN)  - APIC MMIO access virtualisation
(XEN)  - APIC TPR shadow
(XEN)  - Extended Page Tables (EPT)
(XEN)  - Virtual-Processor Identifiers (VPID)
(XEN)  - Virtual NMI
(XEN)  - MSR direct-access bitmap
(XEN)  - Unrestricted Guest
(XEN) EPT supports 2MB super page.
(XEN) HVM: ASIDs enabled.
(XEN) HVM: VMX enabled
(XEN) HVM: Hardware Assisted Paging detected.
(XEN) Brought up 4 CPUs
(XEN) ACPI sleep modes: S3
(XEN) mcheck_poll: Machine check polling timer started.
(XEN) *** LOADING DOMAIN 0 ***
(XEN)  Xen  kernel: 64-bit, lsb, compat32
(XEN)  Dom0 kernel: 64-bit, PAE, lsb, paddr 0x1000000 -> 0x23b8000
(XEN) PHYSICAL MEMORY ARRANGEMENT:
(XEN)  Dom0 alloc.:   0000000014000000->0000000018000000 (93763 pages to be allocated)
(XEN)  Init. ramdisk: 000000001d504000->000000001fbff400
(XEN) VIRTUAL MEMORY ARRANGEMENT:
(XEN)  Loaded kernel: ffffffff81000000->ffffffff823b8000
(XEN)  Init. ramdisk: ffffffff823b8000->ffffffff84ab3400
(XEN)  Phys-Mach map: ffffffff84ab4000->ffffffff84b9e9f8
(XEN)  Start info:    ffffffff84b9f000->ffffffff84b9f4b4
(XEN)  Page tables:   ffffffff84ba0000->ffffffff84bcb000
(XEN)  Boot stack:    ffffffff84bcb000->ffffffff84bcc000
(XEN)  TOTAL:         ffffffff80000000->ffffffff85000000
(XEN)  ENTRY ADDRESS: ffffffff81cf0200
(XEN) Dom0 has maximum 4 VCPUs
(XEN) Scrubbing Free RAM: done.
(XEN) Xen trace buffers: disabled
(XEN) Std. Loglevel: All
(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 216kB init memory.
(XEN) PCI add device 00:00.0
(XEN) PCI add device 00:01.0
(XEN) PCI add device 00:02.0
(XEN) PCI add device 00:16.0
(XEN) PCI add device 00:16.3
(XEN) PCI add device 00:19.0
(XEN) PCI add device 00:1a.0
(XEN) PCI add device 00:1c.0
(XEN) PCI add device 00:1c.5
(XEN) PCI add device 00:1d.0
(XEN) PCI add device 00:1f.0
(XEN) PCI add device 00:1f.2
(XEN) PCI add device 00:1f.3
(XEN) PCI add device 00:1f.6
(XEN) PCI add device 03:00.0
(XEN) physdev.c:155: dom0: wrong map_pirq type 3