__  __            _____  _____                    _        _     _
 \ \/ /___ _ __   |___ / |___ /    _   _ _ __  ___| |_ __ _| |__ | | ___
  \  // _ \ '_ \    |_ \   |_ \ __| | | | '_ \/ __| __/ _` | '_ \| |/ _ \
  /  \  __/ | | |  ___) | ___) |__| |_| | | | \__ \ || (_| | |_) | |  __/
 /_/\_\___|_| |_| |____(_)____/    \__,_|_| |_|___/\__\__,_|_.__/|_|\___|

(XEN) Xen version 3.3-unstable (root@localdomain) (gcc version 4.1.2 20070925 (R
ed Hat 4.1.2-33)) Mon Jul 14 21:23:24 EDT 2008
(XEN) Latest ChangeSet: Tue Jul 15 13:19:26 2008 +0100 18053:750eee596adf
(XEN) Command line: dom0_mem=262114 console=com1 com1=115200,8n1
(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 - 000000000009e800 (usable)
(XEN)  000000000009e800 - 00000000000a0000 (reserved)
(XEN)  00000000000e0000 - 0000000000100000 (reserved)
(XEN)  0000000000100000 - 000000007bdda000 (usable)
(XEN)  000000007bdda000 - 000000007be98000 (ACPI NVS)
(XEN)  000000007be98000 - 000000007d0ca000 (usable)
(XEN)  000000007d0ca000 - 000000007d0cc000 (reserved)
(XEN)  000000007d0cc000 - 000000007d174000 (usable)
(XEN)  000000007d174000 - 000000007d1cc000 (ACPI NVS)
(XEN)  000000007d1cc000 - 000000007d1dc000 (usable)
(XEN)  000000007d1dc000 - 000000007d1e5000 (ACPI NVS)
(XEN)  000000007d1e5000 - 000000007d1e9000 (usable)
(XEN)  000000007d1e9000 - 000000007d1ff000 (ACPI data)
(XEN)  000000007d1ff000 - 000000007d200000 (usable)
(XEN)  000000007d200000 - 000000007e000000 (reserved)
(XEN)  00000000f0000000 - 00000000f8000000 (reserved)
(XEN)  00000000ffc00000 - 0000000100000000 (reserved)
(XEN) System RAM: 2000MB (2048412kB)
(XEN) ACPI: RSDP 000FE020, 0014 (r0 INTEL )
(XEN) ACPI: RSDT 7D1FD038, 0068 (r1 INTEL  DQ3510J       29D       1000013)
(XEN) ACPI: FACP 7D1FC000, 00F4 (r2 INTEL  DQ3510J       29D MSFT  1000013)
(XEN) ACPI: DSDT 7D1F8000, 3C65 (r1 INTEL  DQ3510J       29D MSFT  1000013)
(XEN) ACPI: FACS 7D180000, 0040
(XEN) ACPI: APIC 7D1F7000, 0078 (r1 INTEL  DQ3510J       29D MSFT  1000013)
(XEN) ACPI: WDDT 7D1F6000, 0040 (r1 INTEL  DQ3510J       29D MSFT  1000013)
(XEN) ACPI: MCFG 7D1F5000, 003C (r1 INTEL  DQ3510J       29D MSFT  1000013)
(XEN) ACPI: ASF! 7D1F4000, 00A6 (r32 INTEL  DQ3510J       29D MSFT  1000013)
(XEN) ACPI: DMAR 7D1F2000, 0128 (r1 INTEL  DQ3510J       29D MSFT  1000013)
(XEN) ACPI: SSDT 7D1F1000, 0204 (r1 INTEL     CpuPm      29D MSFT  1000013)
(XEN) ACPI: SSDT 7D1F0000, 0175 (r1 INTEL   Cpu0Ist      29D MSFT  1000013)
(XEN) ACPI: SSDT 7D1EF000, 0175 (r1 INTEL   Cpu1Ist      29D MSFT  1000013)
(XEN) ACPI: SSDT 7D1EE000, 0175 (r1 INTEL   Cpu2Ist      29D MSFT  1000013)
(XEN) ACPI: SSDT 7D1ED000, 0175 (r1 INTEL   Cpu3Ist      29D MSFT  1000013)
(XEN) ACPI: SSDT 7D1EC000, 00DD (r1 INTEL   Cpu0Cst      29D MSFT  1000013)
(XEN) ACPI: SSDT 7D1EB000, 00DD (r1 INTEL   Cpu1Cst      29D MSFT  1000013)
(XEN) ACPI: SSDT 7D1EA000, 00DD (r1 INTEL   Cpu2Cst      29D MSFT  1000013)
(XEN) ACPI: SSDT 7D1E9000, 00DD (r1 INTEL   Cpu3Cst      29D MSFT  1000013)
(XEN) ACPI: SPCR 7D1F3000, 0050 (r1 INTEL  DQ3510J       29D MSFT  1000013)
(XEN) ACPI: TCPA 7D174000, 0A6E (r1 INTEL  TIANO           2 MSFT  1000013)
(XEN) NUMA turned off
(XEN) Faking a node at 0000000000000000-000000007d200000
(XEN) Xen heap: 9MB (9732kB)
(XEN) Domain heap initialised: DMA width 32 bits
(XEN) found SMP MP-table at 000fe5d0
(XEN) DMI 2.4 present.
(XEN) Using APIC driver default
(XEN) ACPI: PM-Timer IO Port: 0x408
(XEN) ACPI: ACPI SLEEP INFO: pm1x_cnt[404,0], pm1x_evt[400,0]
(XEN) ACPI:                  wakeup_vec[7d18000c], vec_size[20]
(XEN) ACPI: Local APIC address 0xfee00000
(XEN) ACPI: LAPIC (acpi_id[0x01] lapic_id[0x00] enabled)
(XEN) Processor #0 6:15 APIC version 20
(XEN) ACPI: LAPIC (acpi_id[0x02] lapic_id[0x01] enabled)
(XEN) Processor #1 6:15 APIC version 20
(XEN) ACPI: LAPIC (acpi_id[0x03] lapic_id[0x82] disabled)
(XEN) ACPI: LAPIC (acpi_id[0x04] lapic_id[0x83] disabled)
(XEN) ACPI: LAPIC_NMI (acpi_id[0x01] dfl dfl lint[0x1])
(XEN) ACPI: LAPIC_NMI (acpi_id[0x02] dfl dfl lint[0x1])
(XEN) ACPI: IOAPIC (id[0x02] address[0xfec00000] gsi_base[0])
(XEN) IOAPIC[0]: apic_id 2, version 32, address 0xfec00000, GSI 0-23
(XEN) ACPI: INT_SRC_OVR (bus 0 bus_irq 0 global_irq 2 dfl dfl)
(XEN) ACPI: INT_SRC_OVR (bus 0 bus_irq 9 global_irq 9 high level)
(XEN) ACPI: IRQ0 used by override.
(XEN) ACPI: IRQ2 used by override.
(XEN) ACPI: IRQ9 used by override.
(XEN) Enabling APIC mode:  Flat.  Using 1 I/O APICs
(XEN) [VT-D]dmar.c:428: Host address width 36
(XEN) [VT-D]dmar.c:437: found ACPI_DMAR_DRHD
(XEN) [VT-D]dmar.c:324: dmaru->address = feb00000
(XEN) [VT-D]dmar.c:266: found endpoint: bdf = 0:1b.0
(XEN) [VT-D]dmar.c:437: found ACPI_DMAR_DRHD
(XEN) [VT-D]dmar.c:324: dmaru->address = feb01000
(XEN) [VT-D]dmar.c:266: found endpoint: bdf = 0:2.0
(XEN) [VT-D]dmar.c:266: found endpoint: bdf = 0:2.1
(XEN) [VT-D]dmar.c:437: found ACPI_DMAR_DRHD
(XEN) [VT-D]dmar.c:324: dmaru->address = feb02000
(XEN) [VT-D]dmar.c:266: found endpoint: bdf = 0:3.0
(XEN) [VT-D]dmar.c:266: found endpoint: bdf = 0:3.1
(XEN) [VT-D]dmar.c:266: found endpoint: bdf = 0:3.2
(XEN) [VT-D]dmar.c:266: found endpoint: bdf = 0:3.3
(XEN) [VT-D]dmar.c:437: found ACPI_DMAR_DRHD
(XEN) [VT-D]dmar.c:324: dmaru->address = feb03000
(XEN) [VT-D]dmar.c:333: found INCLUDE_ALL
(XEN) [VT-D]dmar.c:441: found ACPI_DMAR_RMRR
(XEN) [VT-D]dmar.c:266: found endpoint: bdf = 0:1d.0
(XEN) [VT-D]dmar.c:266: found endpoint: bdf = 0:1d.1
(XEN) [VT-D]dmar.c:266: found endpoint: bdf = 0:1d.2
(XEN) [VT-D]dmar.c:266: found endpoint: bdf = 0:1d.7
(XEN) [VT-D]dmar.c:266: found endpoint: bdf = 0:1a.0
(XEN) [VT-D]dmar.c:266: found endpoint: bdf = 0:1a.1
(XEN) [VT-D]dmar.c:266: found endpoint: bdf = 0:1a.2
(XEN) [VT-D]dmar.c:266: found endpoint: bdf = 0:1a.7
(XEN) [VT-D]dmar.c:441: found ACPI_DMAR_RMRR
(XEN) [VT-D]dmar.c:266: found endpoint: bdf = 0:2.0
(XEN) [VT-D]dmar.c:266: found endpoint: bdf = 0:2.1
(XEN) Intel VT-d has been enabled
(XEN) Using ACPI (MADT) for SMP configuration information
(XEN) Using scheduler: SMP Credit Scheduler (credit)
(XEN) Initializing CPU#0
(XEN) Detected 2989.585 MHz processor.
(XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
(XEN) CPU: L2 cache: 4096K
(XEN) CPU: Physical Processor ID: 0
(XEN) CPU: Processor Core ID: 0
(XEN) HVM: VMX enabled
(XEN) Intel machine check architecture supported.
(XEN) Intel machine check reporting enabled on CPU#0.
(XEN) CPU0: Intel(R) Core(TM)2 Duo CPU     E6850  @ 3.00GHz stepping 0b
(XEN) Booting processor 1/1 eip 8c000
(XEN) Initializing CPU#1
(XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
(XEN) CPU: L2 cache: 4096K
(XEN) CPU: Physical Processor ID: 0
(XEN) CPU: Processor Core ID: 1
(XEN) Intel machine check architecture supported.
(XEN) Intel machine check reporting enabled on CPU#1.
(XEN) CPU1: Intel(R) Core(TM)2 Duo CPU     E6850  @ 3.00GHz stepping 0b
(XEN) Total of 2 processors activated.
(XEN) ENABLING IO-APIC IRQs
(XEN)  -> Using new ACK method
(XEN) ..TIMER: vector=0xF0 apic1=0 pin1=2 apic2=-1 pin2=-1
(XEN) checking TSC synchronization across 2 CPUs: passed.
(XEN) Platform timer is 3.579MHz ACPI PM Timer
(XEN) Brought up 2 CPUs
(XEN) [VT-D]iommu.c:1670: Queued Invalidation hardware not found
(XEN) [VT-D]iommu.c:1670: Queued Invalidation hardware not found
(XEN) [VT-D]iommu.c:1670: Queued Invalidation hardware not found
(XEN) [VT-D]iommu.c:1670: Queued Invalidation hardware not found
(XEN) [VT-D]iommu.c:1678: Interrupt Remapping hardware not found
(XEN) [VT-D]iommu.c:1678: Interrupt Remapping hardware not found
(XEN) [VT-D]iommu.c:1678: Interrupt Remapping hardware not found
(XEN) [VT-D]iommu.c:1678: Interrupt Remapping hardware not found
(XEN) I/O virtualisation enabled
(XEN) I/O virtualisation for PV guests disabled
(XEN) ACPI sleep modes: S3
(XEN) MCA: Machine check polling timer started.
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:0.0
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:2.0
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:2.1
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:3.0
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:3.2
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:3.3
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:19.0
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:1a.0
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:1a.1
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:1a.2
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:1a.7
(XEN) [VT-D]iommu.c:1250:d32767 domain_context_mapping:PCIe: bdf = 0:1b.0
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:1d.0
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:1d.1
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:1d.2
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:1d.7
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:1f.0
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:1f.2
(XEN) [VT-D]iommu.c:1257:d32767 domain_context_mapping:PCI:  bdf = 0:1f.3
(XEN) [VT-D]iommu.c:1250:d32767 domain_context_mapping:PCIe: bdf = 3:0.0
(XEN) [VT-D]iommu.c:664: iommu_enable_translation: iommu->reg = fff78000
(XEN) [VT-D]iommu.c:664: iommu_enable_translation: iommu->reg = fff77000
(XEN) [VT-D]iommu.c:764: iommu_page_fault: iommu->reg = fff77000
(XEN) [VT-D]iommu.c:733: iommu_fault_status: Fault Overflow
(XEN) [VT-D]iommu.c:720: iommu_fault:DMA Write: 0:2.0 addr fefffe000 REASON 5 io
mmu->reg = fff77000
(XEN) print_vtd_entries: iommu = ffbfad00 bdf = 0:2:0 gmfn = fefffe
(XEN) Assertion '!((irq_stat[(((get_cpu_info()->processor_id)))].__local_irq_cou
nt) != 0)' failed at domain_page.c:52
(XEN) ----[ Xen-3.3-unstable  x86_32p  debug=y  Not tainted ]----
(XEN) CPU:    0
(XEN) EIP:    e008:[<ff1a1be5>] map_domain_page+0x24/0x265
(XEN) EFLAGS: 00010202   CONTEXT: hypervisor
(XEN) eax: 00000000   ebx: ffbfad00   ecx: 7d1e5000   edx: 00000000
(XEN) esi: 00000000   edi: 00000010   ebp: ff22bc08   esp: ff22bbf0
(XEN) cr0: 8005003b   cr4: 000026f0   cr3: 00100120   cr2: 00000000
(XEN) ds: e010   es: e010   fs: e010   gs: e010   ss: e010   cs: e008
(XEN) Xen stack trace from esp=ff22bbf0:
(XEN)    ff23cc5e 0000000a ff1b0309 ffbfad00 00000000 00000010 ff22bc18 ff12979a

(XEN)    0007d1e5 00000000 ff22bc78 ff127948 7d1e5000 00000000 00000000 00000002

(XEN)    00000000 00fefffe 00000000 ff23cc80 00000286 ff23cc80 ff22bc78 00000286

(XEN)    00fefffe 00000000 ff1afaa5 ff22bcac ffbf8508 ff22bc88 ff23cc81 00000000

(XEN)    80000005 ff1ae26d ff22bce8 ff1255e2 ffbfad00 00000000 00000010 00fefffe

(XEN)    00000000 00000002 00000000 efffe000 0000000f 00000005 fff77000 ffffffff

(XEN)    00000200 00000010 ffbfad00 00000000 00000001 00000000 00000010 00000206

(XEN)    efffe000 0000000f 00000086 ff22bfb4 000000a0 ff22bd34 ff22bd28 ff1393a9

(XEN)    000000a0 ffbfad00 ff22bd34 ff1209f8 ff24af80 ffbe8d00 00000202 ff12570f

(XEN)    00000004 ff23cc65 ff22bd98 ff22bfb4 0000e010 0000e010 00dd42b7 ff132986

(XEN)    ff22bd34 ff22bfb4 ff24d800 ff24d814 000000f1 ff22bda4 ff22bd98 ff24111c

(XEN)    00a00000 ff139390 0000e008 00000246 000000f1 ffbfad00 ff22bd78 ff105985

(XEN)    ff24d800 ff24111c ff22bd98 ff1209f8 00000000 00000008 00000004 51971c19

(XEN)    0000e010 0000e010 00dd4247 ff132986 ff22bda4 51971c19 00000000 ffbfad2c

(XEN)    00000000 ffbfad00 ff22bdf8 00000000 00f10000 ff1244f3 0000e008 00000286

(XEN)    ffbfad00 ff1ae512 00000298 fff77000 00000000 00000000 00000286 ffbfc700

(XEN)    ff1c15e4 00000020 ff22be48 ff126df4 000000d7 0000001f 00000007 00000000

(XEN)    00000000 00000000 0007d200 00000000 7d200000 00000000 7d1ff000 00000000

(XEN)    ffbdc100 00000100 ff22be48 00000000 00000000 00000000 ff22be68 ff122697

(XEN)    ffbdc100 00001000 0001be98 00000000 00000000 00010000 ff22be98 ff130997

(XEN) Xen call trace:
(XEN)    [<ff1a1be5>] map_domain_page+0x24/0x265
(XEN)    [<ff12979a>] map_vtd_domain_page+0x18/0x1a
(XEN)    [<ff127948>] print_vtd_entries+0x78/0x2ea
(XEN)    [<ff1255e2>] iommu_page_fault+0x365/0x3f0
(XEN)    [<ff1393a9>] do_IRQ+0x2fa/0x358
(XEN)    [<ff132986>] common_interrupt+0x56/0x60
(XEN)    [<ff139390>] do_IRQ+0x2e1/0x358
(XEN)    [<ff132986>] common_interrupt+0x56/0x60
(XEN)    [<ff1244f3>] iommu_enable_translation+0xc3/0xd0
(XEN)    [<ff126df4>] intel_iommu_domain_init+0x258/0x293
(XEN)    [<ff122697>] iommu_domain_init+0x77/0x79
(XEN)    [<ff130997>] arch_domain_create+0x1c6/0x2f4
(XEN)    [<ff1044f3>] domain_create+0x152/0x2d0
(XEN)    [<ff1dc423>] __start_xen+0x1086/0x1393
(XEN)    [<ff10006c>] __high_start+0x58/0x5a
(XEN)
(XEN)
(XEN) ****************************************
(XEN) Panic on CPU 0:
(XEN) Assertion '!((irq_stat[(((get_cpu_info()->processor_id)))].__local_irq_cou
nt) != 0)' failed at domain_page.c:52
(XEN) ****************************************
(XEN)
(XEN) Reboot in five seconds...
(XEN) ACPI MEMORY or I/O RESET_REG.