__  __            _  _    _   _____   ____     __      _ _____ 
 \ \/ /___ _ __   | || |  / | |___ /  |___ \   / _| ___/ |___  |
  \  // _ \ '_ \  | || |_ | |   |_ \ __ __) | | |_ / __| |  / / 
  /  \  __/ | | | |__   _|| |_ ___) |__/ __/ _|  _| (__| | / /  
 /_/\_\___|_| |_|    |_|(_)_(_)____/  |_____(_)_|  \___|_|/_/   
                                                                
(XEN) Xen version 4.1.3 (mockbuild@xxxxxxxxxxxxxxxxxxxxxx) (gcc version 4.7.0 20120507 (Red Hat 4.7.0-5) (GCC) ) Fri Aug 10 23:58:46 UTC 2012
(XEN) Latest ChangeSet: unavailable
(XEN) Bootloader: GRUB 2.00~beta4
(XEN) Command line: dom0_mem=2048m dom0_max_vcpus=1 iommu=debug,verbose
(XEN) Video information:
(XEN)  VGA is text mode 80x25, font 8x16
(XEN)  VBE/DDC methods: none; EDID transfer time: 0 seconds
(XEN)  EDID info not retrieved because no DDC retrieval method detected
(XEN) Disc information:
(XEN)  Found 3 MBR signatures
(XEN)  Found 3 EDD information structures
(XEN) Xen-e820 RAM map:
(XEN)  0000000000000000 - 0000000000097000 (usable)
(XEN)  000000000009f800 - 00000000000a0000 (reserved)
(XEN)  00000000000f0000 - 0000000000100000 (reserved)
(XEN)  0000000000100000 - 00000000afcf0000 (usable)
(XEN)  00000000afcf0000 - 00000000afcf1000 (ACPI NVS)
(XEN)  00000000afcf1000 - 00000000afd00000 (ACPI data)
(XEN)  00000000afd00000 - 00000000afe00000 (reserved)
(XEN)  00000000e0000000 - 00000000f0000000 (reserved)
(XEN)  00000000fec00000 - 0000000100000000 (reserved)
(XEN)  0000000100000000 - 0000000250000000 (usable)
(XEN) ACPI: RSDP 000F6080, 0014 (r0 GBT   )
(XEN) ACPI: RSDT AFCF1000, 0040 (r1 GBT    GBTUACPI 42302E31 GBTU  1010101)
(XEN) ACPI: FACP AFCF1080, 0074 (r1 GBT    GBTUACPI 42302E31 GBTU  1010101)
(XEN) ACPI: DSDT AFCF1100, 7BE1 (r1 GBT    GBTUACPI     1000 MSFT  3000000)
(XEN) ACPI: FACS AFCF0000, 0040
(XEN) ACPI: HPET AFCF8DC0, 0038 (r1 GBT    GBTUACPI 42302E31 GBTU       98)
(XEN) ACPI: MCFG AFCF8E00, 003C (r1 GBT    GBTUACPI 42302E31 GBTU  1010101)
(XEN) ACPI: MATS AFCF8E40, 0034 (r1 GBT                    0             0)
(XEN) ACPI: TAMG AFCF8EB0, 048A (r1 GBT    GBT   B0 5455312E BG

 53450101)
(XEN) ACPI: APIC AFCF8D00, 00BC (r1 GBT    GBTUACPI 42302E31 GBTU  1010101)
(XEN) ACPI: IVRS AFCF93B0, 00D8 (r1  AMD     RD890S   202031 AMD         0)
(XEN) System RAM: 8188MB (8385052kB)
(XEN) Domain heap initialised
(XEN) Processor #0 0:10 APIC version 16
(XEN) Processor #1 0:10 APIC version 16
(XEN) Processor #2 0:10 APIC version 16
(XEN) Processor #3 0:10 APIC version 16
(XEN) Processor #4 0:10 APIC version 16
(XEN) Processor #5 0:10 APIC version 16
(XEN) IOAPIC[0]: apic_id 2, version 33, address 0xfec00000, GSI 0-23
(XEN) Enabling APIC mode:  Flat.  Using 1 I/O APICs
(XEN) Table is not found!
(XEN) Using scheduler: SMP Credit Scheduler (credit)
(XEN) Detected 2812.962 MHz processor.
(XEN) Initing memory sharing.
(XEN) AMD-Vi: IOMMU 0 Enabled.
(XEN) AMD-Vi: Enabling global vector map
(XEN) I/O virtualisation enabled
(XEN)  - Dom0 mode: Relaxed
(XEN) ENABLING IO-APIC IRQs
(XEN)  -> Using new ACK method
(XEN) Platform timer appears to have unexpectedly wrapped 10 or more times.
(XEN) Platform timer is 14.318MHz HPET
(XEN) Allocated console ring of 16 KiB.
(XEN) HVM: ASIDs enabled.
(XEN) SVM: Supported advanced features:
(XEN)  - Nested Page Tables (NPT)
(XEN)  - Last Branch Record (LBR) Virtualisation
(XEN)  - Next-RIP Saved on #VMEXIT
(XEN)  - Pause-Intercept Filter
(XEN) HVM: SVM enabled
(XEN) HVM: Hardware Assisted Paging (HAP) detected
(XEN) HVM: HAP page sizes: 4kB, 2MB, 1GB
(XEN) do_IRQ: 1.231 No irq handler for vector (irq -1)
(XEN) do_IRQ: 2.231 No irq handler for vector (irq -1)
(XEN) do_IRQ: 3.231 No irq handler for vector (irq -1)
(XEN) do_IRQ: 4.231 No irq handler for vector (irq -1)
(XEN) Brought up 6 CPUs
(XEN) do_IRQ: 5.231 No irq handler for vector (irq -1)
(XEN) Xenoprofile: AMD IBS detected (0x0000001f)
(XEN) *** LOADING DOMAIN 0 ***
(XEN)  Xen  kernel: 64-bit, lsb, compat32
(XEN)  Dom0 kernel: 64-bit, PAE, lsb, paddr 0x1000000 -> 0x23b7000
(XEN) PHYSICAL MEMORY ARRANGEMENT:
(XEN)  Dom0 alloc.:   0000000240000000->0000000244000000 (496457 pages to be allocated)
(XEN)  Init. ramdisk: 000000024d349000->000000024ffff400
(XEN) VIRTUAL MEMORY ARRANGEMENT:
(XEN)  Loaded kernel: ffffffff81000000->ffffffff823b7000
(XEN)  Init. ramdisk: ffffffff823b7000->ffffffff8506d400
(XEN)  Phys-Mach map: ffffffff8506e000->ffffffff8546e000
(XEN)  Start info:    ffffffff8546e000->ffffffff8546e4b4
(XEN)  Page tables:   ffffffff8546f000->ffffffff8549e000
(XEN)  Boot stack:    ffffffff8549e000->ffffffff8549f000
(XEN)  TOTAL:         ffffffff80000000->ffffffff85800000
(XEN)  ENTRY ADDRESS: ffffffff81cf4200
(XEN) Dom0 has maximum 1 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 220kB init memory.
(XEN) traps.c:2488:d0 Domain attempted WRMSR 00000000c0010004 from 0x0000000000000000 to 0x000000000000abcd.
(XEN) physdev.c:164: dom0: wrong map_pirq type 3
(XEN) traps.c:2488:d0 Domain attempted WRMSR 00000000c0010020 from 0x0000000000000000 to 0xffff88006ce6b000.