(XEN) Xen version 4.4.0 (Ubuntu 4.4.0-0ubuntu5.1) (stefan.bader@xxxxxxxxxxxxx) (gcc (Ubuntu 4.8.2-19ubuntu1) 4.8.2) debug=n Wed Jul  9 12:05:24 UTC 2014
(XEN) Bootloader: GRUB 2.02~beta2-9ubuntu1
(XEN) Command line: placeholder dom0_mem=5600M iommu=1
(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 1 MBR signatures
(XEN)  Found 2 EDD information structures
(XEN) Xen-e820 RAM map:
(XEN)  0000000000000000 - 000000000009d800 (usable)
(XEN)  000000000009d800 - 00000000000a0000 (reserved)
(XEN)  00000000000e0000 - 0000000000100000 (reserved)
(XEN)  0000000000100000 - 0000000020000000 (usable)
(XEN)  0000000020000000 - 0000000020200000 (reserved)
(XEN)  0000000020200000 - 0000000040004000 (usable)
(XEN)  0000000040004000 - 0000000040005000 (reserved)
(XEN)  0000000040005000 - 00000000d7fe4000 (usable)
(XEN)  00000000d7fe4000 - 00000000d8474000 (reserved)
(XEN)  00000000d8474000 - 00000000d8484000 (ACPI data)
(XEN)  00000000d8484000 - 00000000d8598000 (ACPI NVS)
(XEN)  00000000d8598000 - 00000000d93f2000 (reserved)
(XEN)  00000000d93f2000 - 00000000d93f3000 (usable)
(XEN)  00000000d93f3000 - 00000000d9436000 (ACPI NVS)
(XEN)  00000000d9436000 - 00000000d958d000 (usable)
(XEN)  00000000d958d000 - 00000000d9c0e000 (reserved)
(XEN)  00000000d9c0e000 - 00000000d9c40000 (usable)
(XEN)  00000000d9c40000 - 00000000d9ff1000 (reserved)
(XEN)  00000000d9ff1000 - 00000000da000000 (usable)
(XEN)  00000000db000000 - 00000000df200000 (reserved)
(XEN)  00000000f8000000 - 00000000fc000000 (reserved)
(XEN)  00000000fec00000 - 00000000fec01000 (reserved)
(XEN)  00000000fed00000 - 00000000fed04000 (reserved)
(XEN)  00000000fed1c000 - 00000000fed20000 (reserved)
(XEN)  00000000fee00000 - 00000000fee01000 (reserved)
(XEN)  00000000ff000000 - 0000000100000000 (reserved)
(XEN)  0000000100000000 - 000000031fe00000 (usable)
(XEN) ACPI: RSDP 000F0490, 0024 (r2 HPQOEM)
(XEN) ACPI: XSDT D8478080, 007C (r1 HPQOEM SLIC-CPC  1072009 AMI     10013)
(XEN) ACPI: FACP D8481948, 010C (r5 HPQOEM SLIC-CPC  1072009 AMI     10013)
(XEN) ACPI: DSDT D8478188, 97B9 (r2 HPQOEM SLIC-CPC        0 INTL 20051117)
(XEN) ACPI: FACS D8596080, 0040
(XEN) ACPI: APIC D8481A58, 0092 (r3 HPQOEM SLIC-CPC  1072009 AMI     10013)
(XEN) ACPI: FPDT D8481AF0, 0044 (r1 HPQOEM SLIC-CPC  1072009 AMI     10013)
(XEN) ACPI: MCFG D8481B38, 003C (r1 HPQOEM SLIC-CPC  1072009 MSFT       97)
(XEN) ACPI: HPET D8481B78, 0038 (r1 HPQOEM SLIC-CPC  1072009 AMI.        5)
(XEN) ACPI: SSDT D8481BB0, 036D (r1 HPQOEM SLIC-CPC     1000 INTL 20091112)
(XEN) ACPI: SSDT D8481F20, 09AA (r1 HPQOEM SLIC-CPC     3000 INTL 20051117)
(XEN) ACPI: SSDT D84828D0, 0A92 (r1 HPQOEM SLIC-CPC     3000 INTL 20051117)
(XEN) ACPI: DMAR D8483368, 00B8 (r1 HPQOEM SLIC-CPC        1 INTL        1)
(XEN) ACPI: DBGP D8483420, 0034 (r1 HPQOEM SLIC-CPC  1072009 AMI     10013)
(XEN) ACPI: SSDT D8483458, 084A (r1 HPQOEM SLIC-CPC        1 MSFT  3000001)
(XEN) System RAM: 12157MB (12448868kB)
(XEN) Domain heap initialised
(XEN) ACPI: 32/64X FACS address mismatch in FADT - d8596080/0000000000000000, using 32
(XEN) Processor #0 7:10 APIC version 21
(XEN) Processor #2 7:10 APIC version 21
(XEN) Processor #4 7:10 APIC version 21
(XEN) Processor #6 7:10 APIC version 21
(XEN) Processor #1 7:10 APIC version 21
(XEN) Processor #3 7:10 APIC version 21
(XEN) Processor #5 7:10 APIC version 21
(XEN) Processor #7 7:10 APIC version 21
(XEN) IOAPIC[0]: apic_id 0, version 32, address 0xfec00000, GSI 0-23
(XEN) Enabling APIC mode:  Flat.  Using 1 I/O APICs
(XEN) Switched to APIC driver x2apic_cluster.
(XEN) Using scheduler: SMP Credit Scheduler (credit)
(XEN) Detected 3392.376 MHz processor.
(XEN) Initing memory sharing.
(XEN) xstate_init: using cntxt_size: 0x340 and states: 0x7
(XEN) Intel VT-d iommu 0 supported page sizes: 4kB.
(XEN) Intel VT-d iommu 1 supported page sizes: 4kB.
(XEN) Intel VT-d Snoop Control not enabled.
(XEN) Intel VT-d Dom0 DMA Passthrough not enabled.
(XEN) Intel VT-d Queued Invalidation enabled.
(XEN) Intel VT-d Interrupt Remapping enabled.
(XEN) Intel VT-d Shared EPT tables not enabled.
(XEN) I/O virtualisation enabled
(XEN)  - Dom0 mode: Relaxed
(XEN) Interrupt remapping enabled
(XEN) Enabled directed EOI with ioapic_ack_old on!
(XEN) ENABLING IO-APIC IRQs
(XEN)  -> Using old ACK method
(XEN) Platform timer is 14.318MHz HPET
(XEN) Allocated console ring of 16 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) HVM: ASIDs enabled.
(XEN) HVM: VMX enabled
(XEN) HVM: Hardware Assisted Paging (HAP) detected
(XEN) HVM: HAP page sizes: 4kB, 2MB
(XEN) Brought up 8 CPUs
(XEN) *** LOADING DOMAIN 0 ***
(XEN)  Xen  kernel: 64-bit, lsb, compat32
(XEN)  Dom0 kernel: 64-bit, PAE, lsb, paddr 0x1000000 -> 0x23fb000
(XEN) PHYSICAL MEMORY ARRANGEMENT:
(XEN)  Dom0 alloc.:   000000030c000000->0000000310000000 (1410345 pages to be allocated)
(XEN)  Init. ramdisk: 000000031e329000->000000031fdffe32
(XEN) VIRTUAL MEMORY ARRANGEMENT:
(XEN)  Loaded kernel: ffffffff81000000->ffffffff823fb000
(XEN)  Init. ramdisk: ffffffff823fb000->ffffffff83ed1e32
(XEN)  Phys-Mach map: ffffffff83ed2000->ffffffff849c2000
(XEN)  Start info:    ffffffff849c2000->ffffffff849c24b4
(XEN)  Page tables:   ffffffff849c3000->ffffffff849ec000
(XEN)  Boot stack:    ffffffff849ec000->ffffffff849ed000
(XEN)  TOTAL:         ffffffff80000000->ffffffff84c00000
(XEN)  ENTRY ADDRESS: ffffffff81d2d1f0
(XEN) Dom0 has maximum 8 VCPUs
(XEN) Scrubbing Free RAM: ................................................................done.
(XEN) Initial low memory virq threshold set at 0x4000 pages.
(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 280kB init memory.