(XEN) Xen version 4.1.2 (Debian 4.1.2-2) (waldi@xxxxxxxxxx) (gcc version 4.6.2 (Debian 4.6.2-6) ) Sat Dec 10 19:58:21 UTC 2011 (XEN) Bootloader: GRUB 1.99-17 (XEN) Command line: placeholder iommu_inclusive_mapping=1 iommu=verbose iommu=workaround_bios_bug (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 8 MBR signatures (XEN) Found 6 EDD information structures (XEN) Xen-e820 RAM map: (XEN) 0000000000000000 - 000000000009e400 (usable) (XEN) 000000000009e400 - 00000000000a0000 (reserved) (XEN) 00000000000e2c00 - 0000000000100000 (reserved) (XEN) 0000000000100000 - 00000000bf780000 (usable) (XEN) 00000000bf780000 - 00000000bf798000 (ACPI data) (XEN) 00000000bf798000 - 00000000bf7da000 (ACPI NVS) (XEN) 00000000bf7da000 - 00000000c0000000 (reserved) (XEN) 00000000fee00000 - 00000000fee01000 (reserved) (XEN) 00000000ffe00000 - 0000000100000000 (reserved) (XEN) 0000000100000000 - 0000000440000000 (usable) (XEN) ACPI: RSDP 000FB940, 0014 (r0 ACPIAM) (XEN) ACPI: RSDT BF780000, 0048 (r1 080211 RSDT1436 20110802 MSFT 97) (XEN) ACPI: FACP BF780200, 0084 (r1 080211 FACP1436 20110802 MSFT 97) (XEN) ACPI: DSDT BF7804B0, C469 (r1 A1682 A1682001 1 INTL 20060113) (XEN) ACPI: FACS BF798000, 0040 (XEN) ACPI: APIC BF780390, 00D8 (r1 080211 APIC1436 20110802 MSFT 97) (XEN) ACPI: MCFG BF780470, 003C (r1 080211 OEMMCFG 20110802 MSFT 97) (XEN) ACPI: OEMB BF798040, 0072 (r1 080211 OEMB1436 20110802 MSFT 97) (XEN) ACPI: HPET BF78F4B0, 0038 (r1 080211 OEMHPET 20110802 MSFT 97) (XEN) ACPI: DMAR BF7980C0, 0140 (r1 AMI OEMDMAR 1 MSFT 97) (XEN) ACPI: ASPT BF7984B0, 0034 (r6 080211 PerfTune 20110802 MSFT 97) (XEN) ACPI: OSFR BF78F4F0, 00B0 (r1 080211 OEMOSFR 20110802 MSFT 97) (XEN) ACPI: SSDT BF79A940, 0363 (r1 DpgPmm CpuPm 12 INTL 20060113) (XEN) System RAM: 16375MB (16768120kB) (XEN) Domain heap initialised (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 8, version 32, address 0xfec00000, GSI 0-23 (XEN) IOAPIC[1]: apic_id 9, version 32, address 0xfec8a000, GSI 24-47 (XEN) Enabling APIC mode: Flat. Using 2 I/O APICs (XEN) [VT-D]dmar.c:704: Host address width 39 (XEN) [VT-D]dmar.c:719: found ACPI_DMAR_DRHD: (XEN) [VT-D]dmar.c:413: dmaru->address = fbfff000 (XEN) [VT-D]iommu.c:1122: drhd->address = fbfff000 iommu->reg = ffff82c3fff57000 (XEN) [VT-D]iommu.c:1124: cap = c9008010e60262 ecap = f0207a (XEN) [VT-D]dmar.c:341: endpoint: 0:1b.0 (XEN) [VT-D]dmar.c:719: found ACPI_DMAR_DRHD: (XEN) [VT-D]dmar.c:413: dmaru->address = fbffe000 (XEN) [VT-D]iommu.c:1122: drhd->address = fbffe000 iommu->reg = ffff82c3fff56000 (XEN) [VT-D]iommu.c:1124: cap = c90780106f0462 ecap = f020fe (XEN) [VT-D]dmar.c:356: IOAPIC: f0:1f.7 (XEN) [VT-D]dmar.c:356: IOAPIC: 0:13.0 (XEN) [VT-D]dmar.c:427: flags: INCLUDE_ALL (XEN) [VT-D]dmar.c:724: found ACPI_DMAR_RMRR: (XEN) [VT-D]dmar.c:341: endpoint: 0:1d.0 (XEN) [VT-D]dmar.c:341: endpoint: 0:1d.1 (XEN) [VT-D]dmar.c:341: endpoint: 0:1d.2 (XEN) [VT-D]dmar.c:341: endpoint: 0:1d.7 (XEN) [VT-D]dmar.c:341: endpoint: 0:1a.0 (XEN) [VT-D]dmar.c:341: endpoint: 0:1a.1 (XEN) [VT-D]dmar.c:341: endpoint: 0:1a.2 (XEN) [VT-D]dmar.c:341: endpoint: 0:1a.7 (XEN) [VT-D]dmar.c:595: RMRR region: base_addr ec000 end_address effff (XEN) [VT-D]dmar.c:724: found ACPI_DMAR_RMRR: (XEN) [VT-D]dmar.c:528: RMRR address range not in reserved memory base = bf7da000 end = bf7d9fff; iommu_inclusive_mapping=1 parameter may be needed. (XEN) [VT-D]dmar.c:341: endpoint: 0:1d.0 (XEN) [VT-D]dmar.c:341: endpoint: 0:1d.1 (XEN) [VT-D]dmar.c:341: endpoint: 0:1d.2 (XEN) [VT-D]dmar.c:341: endpoint: 0:1d.7 (XEN) [VT-D]dmar.c:341: endpoint: 0:1a.0 (XEN) [VT-D]dmar.c:341: endpoint: 0:1a.1 (XEN) [VT-D]dmar.c:341: endpoint: 0:1a.2 (XEN) [VT-D]dmar.c:341: endpoint: 0:1a.7 (XEN) [VT-D]dmar.c:585: The RMRR (bf7da000, bf7d9fff) is incorrect! (XEN) Failed to parse ACPI DMAR. Disabling VT-d. (XEN) Table is not found! (XEN) Using scheduler: SMP Credit Scheduler (credit) (XEN) Detected 3207.336 MHz processor. (XEN) Initing memory sharing. (XEN) I/O virtualisation disabled (XEN) ENABLING IO-APIC IRQs (XEN) -> Using new 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) EPT supports 2MB super page. (XEN) HVM: ASIDs enabled. (XEN) HVM: VMX enabled (XEN) HVM: Hardware Assisted Paging detected. (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 -> 0x193a000 (XEN) PHYSICAL MEMORY ARRANGEMENT: (XEN) Dom0 alloc.: 000000042c000000->0000000430000000 (4088390 pages to be allocated) (XEN) Init. ramdisk: 000000043e0c9000->000000043ffff400 (XEN) VIRTUAL MEMORY ARRANGEMENT: (XEN) Loaded kernel: ffffffff81000000->ffffffff8193a000 (XEN) Init. ramdisk: ffffffff8193a000->ffffffff83870400 (XEN) Phys-Mach map: ffffffff83871000->ffffffff857d1be8 (XEN) Start info: ffffffff857d2000->ffffffff857d24b4 (XEN) Page tables: ffffffff857d3000->ffffffff85804000 (XEN) Boot stack: ffffffff85804000->ffffffff85805000 (XEN) TOTAL: ffffffff80000000->ffffffff85c00000 (XEN) ENTRY ADDRESS: ffffffff816a9200 (XEN) Dom0 has maximum 8 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 216kB init memory. (XEN) physdev.c:155: dom0: wrong map_pirq type 3