Xen 4.8.0
(XEN) Xen version 4.8.0 (bearox@) (gcc (GCC) 4.8.5 20150623 (Red Hat 4.8.5-11)) debug=n  Wed Mar  1 23:17:02 EST 2017
(XEN) Latest ChangeSet: 
(XEN) Bootloader: GRUB 2.02~beta2
(XEN) Command line: 
(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 1 EDD information structures
(XEN) Xen-e820 RAM map:
(XEN)  0000000000000000 - 000000000009d800 (usable)
(XEN)  000000000009d800 - 00000000000a0000 (reserved)
(XEN)  00000000000e0000 - 0000000000100000 (reserved)
(XEN)  0000000000100000 - 00000000ca15f000 (usable)
(XEN)  00000000ca15f000 - 00000000ca166000 (ACPI NVS)
(XEN)  00000000ca166000 - 00000000cab01000 (usable)
(XEN)  00000000cab01000 - 00000000cae82000 (reserved)
(XEN)  00000000cae82000 - 00000000db17e000 (usable)
(XEN)  00000000db17e000 - 00000000db208000 (reserved)
(XEN)  00000000db208000 - 00000000db36a000 (usable)
(XEN)  00000000db36a000 - 00000000db891000 (ACPI NVS)
(XEN)  00000000db891000 - 00000000dbfff000 (reserved)
(XEN)  00000000dbfff000 - 00000000dc000000 (usable)
(XEN)  00000000dd000000 - 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 - 000000011fe00000 (usable)
(XEN) ACPI: RSDP 000F0490, 0024 (r2 DELL  )
(XEN) ACPI: XSDT DB475080, 007C (r1 DELL    WN09     1072009 AMI     10013)
(XEN) ACPI: FACP DB481850, 010C (r5 DELL    WN09     1072009 AMI     10013)
(XEN) ACPI: DSDT DB475190, C6BD (r2 DELL    WN09           0 INTL 20120711)
(XEN) ACPI: FACS DB88F080, 0040
(XEN) ACPI: APIC DB481960, 0062 (r3 DELL    WN09     1072009 AMI     10013)
(XEN) ACPI: FPDT DB4819C8, 0044 (r1 DELL    WN09     1072009 AMI     10013)
(XEN) ACPI: ASF! DB481A10, 00A5 (r32 INTEL       HCG        1 TFSM    F4240)
(XEN) ACPI: SLIC DB481AB8, 0176 (r1 DELL    WN09     1072009 AMI     10013)
(XEN) ACPI: SSDT DB481C30, 0539 (r1  PmRef  Cpu0Ist     3000 INTL 20120711)
(XEN) ACPI: SSDT DB482170, 0AD8 (r1  PmRef    CpuPm     3000 INTL 20120711)
(XEN) ACPI: MCFG DB482C48, 003C (r1 DELL    WN09     1072009 MSFT       97)
(XEN) ACPI: HPET DB482C88, 0038 (r1 DELL    WN09     1072009 AMI.        5)
(XEN) ACPI: SSDT DB482CC0, 036D (r1 SataRe SataTabl     1000 INTL 20120711)
(XEN) ACPI: SSDT DB483030, 3528 (r1 SaSsdt  SaSsdt      3000 INTL 20091112)
(XEN) System RAM: 4012MB (4109272kB)
(XEN) Domain heap initialised
(XEN) ACPI: 32/64X FACS address mismatch in FADT - db88f080/0000000000000000, using 32
(XEN) IOAPIC[0]: apic_id 8, version 32, address 0xfec00000, GSI 0-23
(XEN) Enabling APIC mode:  Flat.  Using 1 I/O APICs
(XEN) xstate: size: 0x240 and states: 0x3
(XEN) Using scheduler: SMP Credit Scheduler (credit)
(XEN) Platform timer is 14.318MHz HPET
(XEN) Detected 2793.536 MHz processor.
(XEN) Initing memory sharing.
(XEN) spurious 8259A interrupt: IRQ7.
(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) 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, 1GB
(XEN) Brought up 2 CPUs
(XEN) Dom0 has maximum 400 PIRQs
(XEN) *** LOADING DOMAIN 0 ***
(XEN)  Xen  kernel: 64-bit, lsb, compat32
(XEN)  Dom0 kernel: 64-bit, PAE, lsb, paddr 0x1000000 -> 0x22bc000
(XEN) PHYSICAL MEMORY ARRANGEMENT:
(XEN)  Dom0 alloc.:   0000000110000000->0000000114000000 (949283 pages to be allocated)
(XEN)  Init. ramdisk: 000000011c072000->000000011fdff655
(XEN) VIRTUAL MEMORY ARRANGEMENT:
(XEN)  Loaded kernel: ffffffff81000000->ffffffff822bc000
(XEN)  Init. ramdisk: 0000000000000000->0000000000000000
(XEN)  Phys-Mach map: 0000008000000000->000000800077cd88
(XEN)  Start info:    ffffffff822bc000->ffffffff822bc4b4
(XEN)  Page tables:   ffffffff822bd000->ffffffff822d2000
(XEN)  Boot stack:    ffffffff822d2000->ffffffff822d3000
(XEN)  TOTAL:         ffffffff80000000->ffffffff82400000
(XEN)  ENTRY ADDRESS: ffffffff81da7180
(XEN) Dom0 has maximum 2 VCPUs
(XEN) Scrubbing Free RAM on 1 nodes using 2 CPUs
(XEN) ..................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 312kB init memory