Hello,

I'm running DRAKVUF on Dell Inc. PowerEdge R640/08HT8T server with Intel(R) 
Xeon(R) Gold 6132 CPU @ 2.60GHz CPU.
When upgrading from Xen RELEASE 4.12 to 4.13, we have noticed some stability 
problems concerning freezes of Dom0 (Debian Buster):

---

maj 27 23:17:02 debian kernel: rcu: INFO: rcu_sched self-detected stall on CPU
maj 27 23:17:02 debian kernel: rcu: 0-....: (5250 ticks this GP) 
idle=cee/1/0x4000000000000002 softirq=11964/11964 fqs=2515
maj 27 23:17:02 debian kernel: rcu: (t=5251 jiffies g=27237 q=799)
maj 27 23:17:02 debian kernel: NMI backtrace for cpu 0
maj 27 23:17:02 debian kernel: CPU: 0 PID: 643 Comm: z_rd_int_1 Tainted: P OE 
4.19.0-6-amd64 #1 Debian 4.19.67-2+deb10u2
maj 27 23:17:02 debian kernel: Hardware name: Dell Inc. PowerEdge R640/08HT8T, 
BIOS 2.1.8 04/30/2019
maj 27 23:17:02 debian kernel: Call Trace:
maj 27 23:17:02 debian kernel: <IRQ>
maj 27 23:17:02 debian kernel: dump_stack+0x5c/0x80
maj 27 23:17:02 debian kernel: nmi_cpu_backtrace.cold.4+0x13/0x50
maj 27 23:17:02 debian kernel: ? lapic_can_unplug_cpu.cold.29+0x3b/0x3b
maj 27 23:17:02 debian kernel: nmi_trigger_cpumask_backtrace+0xf9/0xfb
maj 27 23:17:02 debian kernel: rcu_dump_cpu_stacks+0x9b/0xcb
maj 27 23:17:02 debian kernel: rcu_check_callbacks.cold.81+0x1db/0x335
maj 27 23:17:02 debian kernel: ? tick_sched_do_timer+0x60/0x60
maj 27 23:17:02 debian kernel: update_process_times+0x28/0x60
maj 27 23:17:02 debian kernel: tick_sched_handle+0x22/0x60

---

This usually results in machine being completely unresponsive and performing an 
automated reboot after some time.

I've bisected commits between 4.12 and 4.13 and it seems like this is the patch 
which introduced a bug:
https://github.com/xen-project/xen/commit/7c7b407e77724f37c4b448930777a59a479feb21

Enclosed you can find the `xl dmesg` log (attachment: dmesg.txt) from the fresh 
boot of the machine on which the bug was reproduced.

I'm also attaching the `xl info` output from this machine:

---

release : 4.19.0-6-amd64
version : #1 SMP Debian 4.19.67-2+deb10u2 (2019-11-11)
machine : x86_64
nr_cpus : 14
max_cpu_id : 223
nr_nodes : 1
cores_per_socket : 14
threads_per_core : 1
cpu_mhz : 2593.930
hw_caps : 
bfebfbff:77fef3ff:2c100800:00000121:0000000f:d19ffffb:00000008:00000100
virt_caps : pv hvm hvm_directio pv_directio hap shadow
total_memory : 130541
free_memory : 63591
sharing_freed_memory : 0
sharing_used_memory : 0
outstanding_claims : 0
free_cpus : 0
xen_major : 4
xen_minor : 13
xen_extra : -unstable
xen_version : 4.13-unstable
xen_caps : xen-3.0-x86_64 xen-3.0-x86_32p hvm-3.0-x86_32 hvm-3.0-x86_32p 
hvm-3.0-x86_64
xen_scheduler : credit2
xen_pagesize : 4096
platform_params : virt_start=0xffff800000000000
xen_changeset : Wed Oct 2 09:27:27 2019 +0200 git:7c7b407e77-dirty
xen_commandline : placeholder dom0_mem=65270M,max:65270M dom0_max_vcpus=6 
dom0_vcpus_pin=1 force-ept=1 ept=pml=0 hap_1gb=0 hap_2mb=0 altp2m=1 smt=0 
no-real-mode edd=off
cc_compiler : gcc (Ubuntu 7.5.0-3ubuntu1~18.04) 7.5.0
cc_compile_by : root
cc_compile_domain :
cc_compile_date : Fri May 29 02:13:39 UTC 2020
build_id : 958cea737ee01f06e595d52191a6d7bb5ee67deb
xend_config_format : 4

---


Best regards,
Michał Leszczyński
CERT Polska
(XEN) parameter "no-real-mode" unknown!
(XEN) parameter "edd" unknown!
 Xen 4.13-unstable
(XEN) Xen version 4.13-unstable (root@) (gcc (Ubuntu 7.5.0-3ubuntu1~18.04) 
7.5.0) debug=y  Fri May 29 02:13:39 UTC 2020
(XEN) Latest ChangeSet: Wed Oct 2 09:27:27 2019 +0200 git:7c7b407e77-dirty
(XEN) build-id: 958cea737ee01f06e595d52191a6d7bb5ee67deb
(XEN) Bootloader: GRUB 2.02+dfsg1-20
(XEN) Command line: placeholder dom0_mem=65270M,max:65270M dom0_max_vcpus=6 
dom0_vcpus_pin=1 force-ept=1 ept=pml=0 hap_1gb=0 hap_2mb=0 altp2m=1 smt=0 
no-real-mode edd=off
(XEN) Xen image load base address: 0x56c00000
(XEN) Video information:
(XEN)  VGA is graphics mode 1280x1024, 32 bpp
(XEN) Disc information:
(XEN)  Found 0 MBR signatures
(XEN)  Found 2 EDD information structures
(XEN) EFI RAM map:
(XEN)  0000000000000000 - 00000000000a0000 (usable)
(XEN)  00000000000a0000 - 0000000000100000 (reserved)
(XEN)  0000000000100000 - 000000004d3c0000 (usable)
(XEN)  000000004d3c0000 - 000000004d4a4000 (reserved)
(XEN)  000000004d4a4000 - 000000005eeff000 (usable)
(XEN)  000000005eeff000 - 000000006e3ff000 (reserved)
(XEN)  000000006e3ff000 - 000000006f3ff000 (ACPI NVS)
(XEN)  000000006f3ff000 - 000000006f7ff000 (ACPI data)
(XEN)  000000006f7ff000 - 000000006f800000 (usable)
(XEN)  000000006f800000 - 0000000090000000 (reserved)
(XEN)  00000000fe000000 - 00000000fe011000 (reserved)
(XEN)  0000000100000000 - 0000002080000000 (usable)
(XEN) ACPI: RSDP 6F7FE014, 0024 (r2 DELL  )
(XEN) ACPI: XSDT 6F40C188, 00F4 (r1 DELL   PE_SC3          0       1000013)
(XEN) ACPI: FACP 6F7F8000, 0114 (r6 DELL   PE_SC3          0 DELL        1)
(XEN) ACPI: DSDT 6F50D000, 2DBCE6 (r2 DELL   PE_SC3          3 DELL        1)
(XEN) ACPI: FACS 6F1AE000, 0040
(XEN) ACPI: SSDT 6F7FC000, 046C (r2  INTEL ADDRXLAT        1 INTL 20180508)
(XEN) ACPI: MCEJ 6F7FB000, 0130 (r1 DELL   PE_SC3          2 DELL        1)
(XEN) ACPI: WDAT 6F7FA000, 0134 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: SLIC 6F7F9000, 0024 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: HPET 6F7F7000, 0038 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: APIC 6F7F5000, 16DE (r4 DELL   PE_SC3          0 DELL        1)
(XEN) ACPI: MCFG 6F7F4000, 003C (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: MIGT 6F7F3000, 0040 (r1 DELL   PE_SC3          0 DELL        1)
(XEN) ACPI: MSCT 6F7F2000, 0090 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: PCAT 6F7F1000, 0068 (r2 DELL   PE_SC3          2 DELL        1)
(XEN) ACPI: PCCT 6F7F0000, 006E (r1 DELL   PE_SC3          2 DELL        1)
(XEN) ACPI: RASF 6F7EF000, 0030 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: SLIT 6F7EE000, 042C (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: SRAT 6F7EB000, 2D30 (r3 DELL   PE_SC3          2 DELL        1)
(XEN) ACPI: SVOS 6F7EA000, 0032 (r1 DELL   PE_SC3          0 DELL        1)
(XEN) ACPI: WSMT 6F7E9000, 0028 (r1 DELL   PE_SC3          0 DELL        1)
(XEN) ACPI: OEM4 6F45F000, AD1C1 (r2  INTEL CPU  CST     3000 INTL 20180508)
(XEN) ACPI: SSDT 6F427000, 37465 (r2  INTEL SSDT  PM     4000 INTL 20180508)
(XEN) ACPI: SSDT 6F40D000, 0A1F (r2 DELL   PE_SC3          0 DELL        1)
(XEN) ACPI: SSDT 6F423000, 357F (r2  INTEL SpsNm           2 INTL 20180508)
(XEN) ACPI: DMAR 6F7FD000, 0118 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: HEST 6F422000, 017C (r1 DELL   PE_SC3          2 DELL        1)
(XEN) ACPI: BERT 6F421000, 0030 (r1 DELL   PE_SC3          2 DELL        1)
(XEN) ACPI: ERST 6F420000, 0230 (r1 DELL   PE_SC3          2 DELL        1)
(XEN) ACPI: EINJ 6F41F000, 0150 (r1 DELL   PE_SC3          2 DELL        1)
(XEN) System RAM: 130541MB (133674736kB)
(XEN) SRAT: PXM 0 -> APIC 00 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 0c -> Node 0
(XEN) SRAT: PXM 0 -> APIC 02 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 0a -> Node 0
(XEN) SRAT: PXM 0 -> APIC 04 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 08 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 06 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 1c -> Node 0
(XEN) SRAT: PXM 0 -> APIC 10 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 1a -> Node 0
(XEN) SRAT: PXM 0 -> APIC 12 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 18 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 14 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 16 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 01 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 0d -> Node 0
(XEN) SRAT: PXM 0 -> APIC 03 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 0b -> Node 0
(XEN) SRAT: PXM 0 -> APIC 05 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 09 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 07 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 1d -> Node 0
(XEN) SRAT: PXM 0 -> APIC 11 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 1b -> Node 0
(XEN) SRAT: PXM 0 -> APIC 13 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 19 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 15 -> Node 0
(XEN) SRAT: PXM 0 -> APIC 17 -> Node 0
(XEN) SRAT: Node 0 PXM 0 0-80000000
(XEN) SRAT: Node 0 PXM 0 100000000-2080000000
(XEN) NUMA: Using 20 for the hash shift.
(XEN) Domain heap initialised
(XEN) vesafb: framebuffer at 0x0000000091000000, mapped to 0xffff82c000201000, 
using 5120k, total 5120k
(XEN) vesafb: mode is 1280x1024x32, linelength=5120, font 8x16
(XEN) vesafb: Truecolor: size=8:8:8:8, shift=24:16:8:0
(XEN) CPU Vendor: Intel, Family 6 (0x6), Model 85 (0x55), Stepping 4 (raw 
00050654)
(XEN) SMBIOS 3.2 present.
(XEN) Using APIC driver default
(XEN) ACPI: PM-Timer IO Port: 0x508 (32 bits)
(XEN) ACPI: v5 SLEEP INFO: control[0:0], status[0:0]
(XEN) ACPI: SLEEP INFO: pm1x_cnt[1:504,1:0], pm1x_evt[1:500,1:0]
(XEN) ACPI: 32/64X FACS address mismatch in FADT - 6f1ae000/0000000000000000, 
using 32
(XEN) ACPI:             wakeup_vec[6f1ae00c], vec_size[20]
(XEN) ACPI: Local APIC address 0xfee00000
(XEN) ACPI: LAPIC (acpi_id[0x00] lapic_id[0x00] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x0c] lapic_id[0x0c] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x02] lapic_id[0x02] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x0a] lapic_id[0x0a] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x04] lapic_id[0x04] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x08] lapic_id[0x08] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x06] lapic_id[0x06] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x1a] lapic_id[0x1c] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x0e] lapic_id[0x10] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x18] lapic_id[0x1a] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x10] lapic_id[0x12] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x16] lapic_id[0x18] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x12] lapic_id[0x14] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x14] lapic_id[0x16] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x01] lapic_id[0x01] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x0d] lapic_id[0x0d] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x03] lapic_id[0x03] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x0b] lapic_id[0x0b] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x05] lapic_id[0x05] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x09] lapic_id[0x09] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x07] lapic_id[0x07] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x1b] lapic_id[0x1d] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x0f] lapic_id[0x11] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x19] lapic_id[0x1b] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x11] lapic_id[0x13] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x17] lapic_id[0x19] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x13] lapic_id[0x15] enabled)
(XEN) ACPI: LAPIC (acpi_id[0x15] lapic_id[0x17] enabled)
(XEN) ACPI: LAPIC_NMI (acpi_id[0xff] high level lint[0x1])
(XEN) ACPI: X2APIC_NMI (uid[0xffffffff] high level lint[0x1])
(XEN) Overriding APIC driver with bigsmp
(XEN) ACPI: IOAPIC (id[0x08] address[0xfec00000] gsi_base[0])
(XEN) IOAPIC[0]: apic_id 8, version 32, address 0xfec00000, GSI 0-23
(XEN) ACPI: IOAPIC (id[0x09] address[0xfec01000] gsi_base[24])
(XEN) IOAPIC[1]: apic_id 9, version 32, address 0xfec01000, GSI 24-31
(XEN) ACPI: IOAPIC (id[0x0a] address[0xfec08000] gsi_base[32])
(XEN) IOAPIC[2]: apic_id 10, version 32, address 0xfec08000, GSI 32-39
(XEN) ACPI: IOAPIC (id[0x0b] address[0xfec10000] gsi_base[40])
(XEN) IOAPIC[3]: apic_id 11, version 32, address 0xfec10000, GSI 40-47
(XEN) ACPI: IOAPIC (id[0x0c] address[0xfec18000] gsi_base[48])
(XEN) IOAPIC[4]: apic_id 12, version 32, address 0xfec18000, GSI 48-55
(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:  Phys.  Using 5 I/O APICs
(XEN) ACPI: HPET id: 0x8086a701 base: 0xfed00000
(XEN) PCI: MCFG configuration 0: base 80000000 segment 0000 buses 00 - ff
(XEN) PCI: MCFG area at 80000000 reserved in E820
(XEN) PCI: Using MCFG for segment 0000 bus 00-ff
(XEN) [VT-D]  RMRR address range 6f1a0000..6f1a2fff not in reserved memory; 
need "iommu_inclusive_mapping=1"?
(XEN) Xen ERST support is initialized.
(XEN) HEST: Table parsing has been initialized
(XEN) Using ACPI (MADT) for SMP configuration information
(XEN) SMP: Allowing 224 CPUs (196 hotplug CPUs)
(XEN) IRQ limits: 56 GSI, 5336 MSI/MSI-X
(XEN) Not enabling x2APIC (upon firmware request)
(XEN) xstate: size: 0xa88 and states: 0x2ff
(XEN) mce_intel.c:778: MCA Capability: firstbank 0, extended MCE MSR 0, BCAST, 
SER
(XEN) CPU0: Intel machine check reporting enabled
(XEN) Speculative mitigation facilities:
(XEN)   Hardware features: IBRS/IBPB STIBP L1D_FLUSH SSBD
(XEN)   Compiled-in support: INDIRECT_THUNK SHADOW_PAGING
(XEN)   Xen settings: BTI-Thunk JMP, SPEC_CTRL: IBRS+ SSBD-, Other: IBPB 
L1D_FLUSH
(XEN)   L1TF: believed vulnerable, maxphysaddr L1D 46, CPUID 46, Safe address 
300000000000
(XEN)   Support for HVM VMs: MSR_SPEC_CTRL RSB EAGER_FPU
(XEN)   Support for PV VMs: MSR_SPEC_CTRL RSB EAGER_FPU
(XEN)   XPTI (64-bit PV only): Dom0 enabled, DomU enabled (with PCID)
(XEN)   PV L1TF shadowing: Dom0 disabled, DomU enabled
(XEN) Using scheduler: SMP Credit Scheduler rev2 (credit2)
(XEN) Initializing Credit2 scheduler
(XEN)  load_precision_shift: 18
(XEN)  load_window_shift: 30
(XEN)  underload_balance_tolerance: 0
(XEN)  overload_balance_tolerance: -3
(XEN)  runqueues arrangement: socket
(XEN)  cap enforcement granularity: 10ms
(XEN) load tracking window length 1073741824 ns
(XEN) Platform timer is 23.999MHz HPET
(XEN) Detected 2593.930 MHz processor.
(XEN) EFI memory map:
(XEN)  0000000000000-0000000000fff type=3 attr=000000000000000f
(XEN)  0000000001000-0000000004fff type=2 attr=000000000000000f
(XEN)  0000000005000-000000000ffff type=7 attr=000000000000000f
(XEN)  0000000010000-0000000013fff type=3 attr=000000000000000f
(XEN)  0000000014000-0000000051fff type=7 attr=000000000000000f
(XEN)  0000000052000-0000000061fff type=2 attr=000000000000000f
(XEN)  0000000062000-000000008dfff type=3 attr=000000000000000f
(XEN)  000000008e000-000000008ffff type=7 attr=000000000000000f
(XEN)  0000000090000-000000009ffff type=3 attr=000000000000000f
(XEN)  0000000100000-0000000606fff type=2 attr=000000000000000f
(XEN)  0000000607000-0000000bfffff type=7 attr=000000000000000f
(XEN)  0000000c00000-0000000ffffff type=3 attr=000000000000000f
(XEN)  0000001000000-0000002ac1fff type=2 attr=000000000000000f
(XEN)  0000002ac2000-000001dcebfff type=7 attr=000000000000000f
(XEN)  000001dcec000-0000031efffff type=1 attr=000000000000000f
(XEN)  0000031f00000-0000031ffffff type=4 attr=000000000000000f
(XEN)  0000032000000-000004ba29fff type=7 attr=000000000000000f
(XEN)  000004ba2a000-000004bb9ffff type=1 attr=000000000000000f
(XEN)  000004bba0000-000004bd15fff type=2 attr=000000000000000f
(XEN)  000004bd16000-000004be3afff type=1 attr=000000000000000f
(XEN)  000004be3b000-000004d3bffff type=3 attr=000000000000000f
(XEN)  000004d3c0000-000004d4a3fff type=5 attr=800000000000000f
(XEN)  000004d4a4000-000004d9fcfff type=3 attr=000000000000000f
(XEN)  000004d9fd000-000004dc00fff type=4 attr=000000000000000f
(XEN)  000004dc01000-000004ddfffff type=3 attr=000000000000000f
(XEN)  000004de00000-000004dffffff type=4 attr=000000000000000f
(XEN)  000004e000000-000004e1fffff type=3 attr=000000000000000f
(XEN)  000004e200000-000004e3fffff type=4 attr=000000000000000f
(XEN)  000004e400000-000004e567fff type=3 attr=000000000000000f
(XEN)  000004e568000-000004e587fff type=4 attr=000000000000000f
(XEN)  000004e588000-000004e60dfff type=3 attr=000000000000000f
(XEN)  000004e60e000-000004e86efff type=4 attr=000000000000000f
(XEN)  000004e86f000-000004e87cfff type=3 attr=000000000000000f
(XEN)  000004e87d000-0000051a3ffff type=4 attr=000000000000000f
(XEN)  0000051a40000-0000051a68fff type=3 attr=000000000000000f
(XEN)  0000051a69000-0000051b00fff type=4 attr=000000000000000f
(XEN)  0000051b01000-0000051b01fff type=2 attr=000000000000000f
(XEN)  0000051b02000-0000051efefff type=3 attr=000000000000000f
(XEN)  0000051eff000-0000056dfffff type=7 attr=000000000000000f
(XEN)  0000056e00000-00000571d8fff type=2 attr=000000000000000f
(XEN)  00000571d9000-00000575dafff type=7 attr=000000000000000f
(XEN)  00000575db000-000005eefefff type=4 attr=000000000000000f
(XEN)  000005eeff000-000005effefff type=6 attr=800000000000000f
(XEN)  000005efff000-000005f1fefff type=5 attr=800000000000000f
(XEN)  000005f1ff000-000006e3fefff type=0 attr=000000000000000f
(XEN)  000006e3ff000-000006f3fefff type=10 attr=000000000000000f
(XEN)  000006f3ff000-000006f7fefff type=9 attr=000000000000000f
(XEN)  000006f7ff000-000006f7fffff type=4 attr=000000000000000f
(XEN)  0000100000000-000207fffffff type=7 attr=000000000000000f
(XEN)  00000000a0000-00000000fffff type=0 attr=0000000000000000
(XEN)  000006f800000-000006fffffff type=0 attr=0000000000000000
(XEN)  0000070000000-0000077bfffff type=0 attr=0000000000000009
(XEN)  0000077c00000-000007fffffff type=0 attr=0000000000000000
(XEN)  0000080000000-000008fffffff type=11 attr=8000000000000001
(XEN)  00000fe000000-00000fe010fff type=11 attr=8000000000000001
(XEN) alt table ffff82d08046f1b0 -> ffff82d08047bab8
(XEN) Intel VT-d iommu 2 supported page sizes: 4kB, 2MB, 1GB.
(XEN) Intel VT-d iommu 1 supported page sizes: 4kB, 2MB, 1GB.
(XEN) Intel VT-d iommu 0 supported page sizes: 4kB, 2MB, 1GB.
(XEN) Intel VT-d iommu 3 supported page sizes: 4kB, 2MB, 1GB.
(XEN) Intel VT-d Snoop Control 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 Posted Interrupt not enabled.
(XEN) Intel VT-d Shared EPT tables not enabled.
(XEN) I/O virtualisation enabled
(XEN)  - Dom0 mode: Relaxed
(XEN) Interrupt remapping enabled
(XEN) nr_sockets: 8
(XEN) Enabled directed EOI with ioapic_ack_old on!
(XEN) ENABLING IO-APIC IRQs
(XEN)  -> Using old ACK method
(XEN) ..TIMER: vector=0xF0 apic1=0 pin1=2 apic2=-1 pin2=-1
(XEN) TSC deadline timer enabled
(XEN) Defaulting to alternative key handling; send 'A' to switch to normal mode.
(XEN) Allocated console ring of 256 KiB.
(XEN) mwait-idle: MWAIT substates: 0x2020
(XEN) mwait-idle: v0.4.1 model 0x55
(XEN) mwait-idle: lapic_timer_reliable_states 0xffffffff
(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)  - APIC Register Virtualization
(XEN)  - Virtual Interrupt Delivery
(XEN)  - Posted Interrupt Processing
(XEN)  - VMCS shadowing
(XEN)  - VM Functions
(XEN)  - Virtualisation Exceptions
(XEN)  - TSC Scaling
(XEN) HVM: ASIDs enabled.
(XEN) HVM: VMX enabled
(XEN) HVM: Hardware Assisted Paging (HAP) detected
(XEN) HVM: HAP page sizes: 4kB, 2MB [disabled], 1GB [disabled]
(XEN) alt table ffff82d08046f1b0 -> ffff82d08047bab8
(XEN) CPU 1 still not dead...
(XEN) CPU 1 still not dead...
(XEN) CPU 1 still not dead...
(XEN) CPU 1 still not dead...
(XEN) CPU 1 still not dead...
(XEN) CPU 1 still not dead...
(XEN) CPU 1 still not dead...
(XEN) CPU 1 still not dead...
(XEN) CPU 1 still not dead...
(XEN) CPU 1 still not dead...
(XEN) Brought up 14 CPUs
(XEN) Parked 14 CPUs
(XEN) Adding cpu 0 to runqueue 0
(XEN)  First cpu on runqueue, activating
(XEN) Adding cpu 2 to runqueue 0
(XEN) Adding cpu 4 to runqueue 0
(XEN) Adding cpu 6 to runqueue 0
(XEN) Adding cpu 8 to runqueue 0
(XEN) Adding cpu 10 to runqueue 0
(XEN) Adding cpu 12 to runqueue 0
(XEN) Adding cpu 14 to runqueue 0
(XEN) Adding cpu 16 to runqueue 0
(XEN) Adding cpu 18 to runqueue 0
(XEN) Adding cpu 20 to runqueue 0
(XEN) Adding cpu 22 to runqueue 0
(XEN) Adding cpu 24 to runqueue 0
(XEN) Adding cpu 26 to runqueue 0
(XEN) Running stub recovery selftests...
(XEN) traps.c:1589: GPF (0000): ffff82d0bffff041 [ffff82d0bffff041] -> 
ffff82d0803823f2
(XEN) traps.c:784: Trap 12: ffff82d0bffff040 [ffff82d0bffff040] -> 
ffff82d0803823f2
(XEN) traps.c:1123: Trap 3: ffff82d0bffff041 [ffff82d0bffff041] -> 
ffff82d0803823f2
(XEN) mcheck_poll: Machine check polling timer started.
(XEN) Dom0 has maximum 1016 PIRQs
(XEN) NX (Execute Disable) protection active
(XEN) *** Building a PV Dom0 ***
(XEN) ELF: phdr: paddr=0x1000000 memsz=0xf3f000
(XEN) ELF: phdr: paddr=0x2000000 memsz=0x433000
(XEN) ELF: phdr: paddr=0x2433000 memsz=0x23418
(XEN) ELF: phdr: paddr=0x2457000 memsz=0x3d5000
(XEN) ELF: memory: 0x1000000 -> 0x282c000
(XEN) ELF: note: GUEST_OS = "linux"
(XEN) ELF: note: GUEST_VERSION = "2.6"
(XEN) ELF: note: XEN_VERSION = "xen-3.0"
(XEN) ELF: note: VIRT_BASE = 0xffffffff80000000
(XEN) ELF: note: INIT_P2M = 0x8000000000
(XEN) ELF: note: ENTRY = 0xffffffff82457180
(XEN) ELF: note: HYPERCALL_PAGE = 0xffffffff81001000
(XEN) ELF: note: FEATURES = "!writable_page_tables|pae_pgdir_above_4gb"
(XEN) ELF: note: SUPPORTED_FEATURES = 0x8801
(XEN) ELF: note: PAE_MODE = "yes"
(XEN) ELF: note: LOADER = "generic"
(XEN) ELF: note: unknown (0xd)
(XEN) ELF: note: SUSPEND_CANCEL = 0x1
(XEN) ELF: note: MOD_START_PFN = 0x1
(XEN) ELF: note: HV_START_LOW = 0xffff800000000000
(XEN) ELF: note: PADDR_OFFSET = 0
(XEN) ELF: note: PHYS32_ENTRY = 0x10003b0
(XEN) ELF: Found PVH image
(XEN) ELF: addresses:
(XEN)     virt_base        = 0xffffffff80000000
(XEN)     elf_paddr_offset = 0x0
(XEN)     virt_offset      = 0xffffffff80000000
(XEN)     virt_kstart      = 0xffffffff81000000
(XEN)     virt_kend        = 0xffffffff8282c000
(XEN)     virt_entry       = 0xffffffff82457180
(XEN)     p2m_base         = 0x8000000000
(XEN)  Xen  kernel: 64-bit, lsb, compat32
(XEN)  Dom0 kernel: 64-bit, PAE, lsb, paddr 0x1000000 -> 0x282c000
(XEN) PHYSICAL MEMORY ARRANGEMENT:
(XEN)  Dom0 alloc.:   000000201c000000->0000002020000000 (16685886 pages to be 
allocated)
(XEN)  Init. ramdisk: 000000207e53e000->000000207ffff93e
(XEN) VIRTUAL MEMORY ARRANGEMENT:
(XEN)  Loaded kernel: ffffffff81000000->ffffffff8282c000
(XEN)  Init. ramdisk: 0000000000000000->0000000000000000
(XEN)  Phys-Mach map: 0000008000000000->0000008007f7b000
(XEN)  Start info:    ffffffff8282c000->ffffffff8282c4b8
(XEN)  Xenstore ring: 0000000000000000->0000000000000000
(XEN)  Console ring:  0000000000000000->0000000000000000
(XEN)  Page tables:   ffffffff8282d000->ffffffff82846000
(XEN)  Boot stack:    ffffffff82846000->ffffffff82847000
(XEN)  TOTAL:         ffffffff80000000->ffffffff82c00000
(XEN)  ENTRY ADDRESS: ffffffff82457180
(XEN) Dom0 has maximum 6 VCPUs
(XEN) ELF: phdr 0 at 0xffffffff81000000 -> 0xffffffff81f3f000
(XEN) ELF: phdr 1 at 0xffffffff82000000 -> 0xffffffff82433000
(XEN) ELF: phdr 2 at 0xffffffff82433000 -> 0xffffffff82456418
(XEN) ELF: phdr 3 at 0xffffffff82457000 -> 0xffffffff825c6000
(XEN) Initial low memory virq threshold set at 0x4000 pages.
(XEN) Scrubbing Free RAM in background
(XEN) Std. Loglevel: All
(XEN) Guest Loglevel: All
(XEN) Xen is relinquishing VGA console.
(XEN) *** Serial input to DOM0 (type 'CTRL-a' three times to switch input)
(XEN) Freed 536kB init memory
(XEN) d0: Forcing write emulation on MFNs 80000-8ffff
(XEN) PCI add device 0000:00:00.0
(XEN) PCI add device 0000:00:05.0
(XEN) PCI add device 0000:00:05.2
(XEN) PCI add device 0000:00:05.4
(XEN) PCI add device 0000:00:08.0
(XEN) PCI add device 0000:00:08.1
(XEN) PCI add device 0000:00:08.2
(XEN) PCI add device 0000:00:11.0
(XEN) PCI add device 0000:00:11.5
(XEN) PCI add device 0000:00:14.0
(XEN) PCI add device 0000:00:14.2
(XEN) PCI add device 0000:00:16.0
(XEN) PCI add device 0000:00:16.1
(XEN) PCI add device 0000:00:16.4
(XEN) PCI add device 0000:00:17.0
(XEN) PCI add device 0000:00:1c.0
(XEN) PCI add device 0000:00:1c.4
(XEN) PCI add device 0000:00:1f.0
(XEN) PCI add device 0000:00:1f.2
(XEN) PCI add device 0000:00:1f.4
(XEN) PCI add device 0000:00:1f.5
(XEN) PCI add device 0000:01:00.0
(XEN) PCI add device 0000:01:00.1
(XEN) PCI add device 0000:02:00.0
(XEN) PCI add device 0000:03:00.0
(XEN) PCI add device 0000:16:00.0
(XEN) PCI add device 0000:16:02.0
(XEN) PCI add device 0000:16:05.0
(XEN) PCI add device 0000:16:05.2
(XEN) PCI add device 0000:16:05.4
(XEN) PCI add device 0000:16:08.0
(XEN) PCI add device 0000:16:08.1
(XEN) PCI add device 0000:16:08.2
(XEN) PCI add device 0000:16:08.3
(XEN) PCI add device 0000:16:08.4
(XEN) PCI add device 0000:16:08.5
(XEN) PCI add device 0000:16:08.6
(XEN) PCI add device 0000:16:08.7
(XEN) PCI add device 0000:16:09.0
(XEN) PCI add device 0000:16:09.1
(XEN) PCI add device 0000:16:09.2
(XEN) PCI add device 0000:16:09.3
(XEN) PCI add device 0000:16:09.4
(XEN) PCI add device 0000:16:09.5
(XEN) PCI add device 0000:16:09.6
(XEN) PCI add device 0000:16:09.7
(XEN) PCI add device 0000:16:0a.0
(XEN) PCI add device 0000:16:0a.1
(XEN) PCI add device 0000:16:0a.2
(XEN) PCI add device 0000:16:0a.3
(XEN) PCI add device 0000:16:0a.4
(XEN) PCI add device 0000:16:0a.5
(XEN) PCI add device 0000:16:0a.6
(XEN) PCI add device 0000:16:0a.7
(XEN) PCI add device 0000:16:0b.0
(XEN) PCI add device 0000:16:0b.1
(XEN) PCI add device 0000:16:0b.2
(XEN) PCI add device 0000:16:0b.3
(XEN) PCI add device 0000:16:0e.0
(XEN) PCI add device 0000:16:0e.1
(XEN) PCI add device 0000:16:0e.2
(XEN) PCI add device 0000:16:0e.3
(XEN) PCI add device 0000:16:0e.4
(XEN) PCI add device 0000:16:0e.5
(XEN) PCI add device 0000:16:0e.6
(XEN) PCI add device 0000:16:0e.7
(XEN) PCI add device 0000:16:0f.0
(XEN) PCI add device 0000:16:0f.1
(XEN) PCI add device 0000:16:0f.2
(XEN) PCI add device 0000:16:0f.3
(XEN) PCI add device 0000:16:0f.4
(XEN) PCI add device 0000:16:0f.5
(XEN) PCI add device 0000:16:0f.6
(XEN) PCI add device 0000:16:0f.7
(XEN) PCI add device 0000:16:10.0
(XEN) PCI add device 0000:16:10.1
(XEN) PCI add device 0000:16:10.2
(XEN) PCI add device 0000:16:10.3
(XEN) PCI add device 0000:16:10.4
(XEN) PCI add device 0000:16:10.5
(XEN) PCI add device 0000:16:10.6
(XEN) PCI add device 0000:16:10.7
(XEN) PCI add device 0000:16:11.0
(XEN) PCI add device 0000:16:11.1
(XEN) PCI add device 0000:16:11.2
(XEN) PCI add device 0000:16:11.3
(XEN) PCI add device 0000:16:1d.0
(XEN) PCI add device 0000:16:1d.1
(XEN) PCI add device 0000:16:1d.2
(XEN) PCI add device 0000:16:1d.3
(XEN) PCI add device 0000:16:1e.0
(XEN) PCI add device 0000:16:1e.1
(XEN) PCI add device 0000:16:1e.2
(XEN) PCI add device 0000:16:1e.3
(XEN) PCI add device 0000:16:1e.4
(XEN) PCI add device 0000:16:1e.5
(XEN) PCI add device 0000:16:1e.6
(XEN) PCI add device 0000:17:00.0
(XEN) PCI add device 0000:18:00.0
(XEN) PCI add device 0000:18:00.1
(XEN) PCI add device 0000:64:00.0
(XEN) PCI add device 0000:64:05.0
(XEN) PCI add device 0000:64:05.2
(XEN) PCI add device 0000:64:05.4
(XEN) PCI add device 0000:64:08.0
(XEN) PCI add device 0000:64:09.0
(XEN) PCI add device 0000:64:0a.0
(XEN) PCI add device 0000:64:0a.1
(XEN) PCI add device 0000:64:0a.2
(XEN) PCI add device 0000:64:0a.3
(XEN) PCI add device 0000:64:0a.4
(XEN) PCI add device 0000:64:0a.5
(XEN) PCI add device 0000:64:0a.6
(XEN) PCI add device 0000:64:0a.7
(XEN) PCI add device 0000:64:0b.0
(XEN) PCI add device 0000:64:0b.1
(XEN) PCI add device 0000:64:0b.2
(XEN) PCI add device 0000:64:0b.3
(XEN) PCI add device 0000:64:0c.0
(XEN) PCI add device 0000:64:0c.1
(XEN) PCI add device 0000:64:0c.2
(XEN) PCI add device 0000:64:0c.3
(XEN) PCI add device 0000:64:0c.4
(XEN) PCI add device 0000:64:0c.5
(XEN) PCI add device 0000:64:0c.6
(XEN) PCI add device 0000:64:0c.7
(XEN) PCI add device 0000:64:0d.0
(XEN) PCI add device 0000:64:0d.1
(XEN) PCI add device 0000:64:0d.2
(XEN) PCI add device 0000:64:0d.3
(XEN) PCI add device 0000:65:00.0
(XEN) PCI add device 0000:b2:05.0
(XEN) PCI add device 0000:b2:05.2
(XEN) PCI add device 0000:b2:05.4
(XEN) PCI add device 0000:b2:0e.0
(XEN) PCI add device 0000:b2:0e.1
(XEN) PCI add device 0000:b2:0f.0
(XEN) PCI add device 0000:b2:0f.1
(XEN) PCI add device 0000:b2:10.0
(XEN) PCI add device 0000:b2:10.1
(XEN) PCI add device 0000:b2:12.0
(XEN) PCI add device 0000:b2:12.1
(XEN) PCI add device 0000:b2:12.2
(XEN) PCI add device 0000:b2:12.4
(XEN) PCI add device 0000:b2:12.5
(XEN) PCI add device 0000:b2:15.0
(XEN) PCI add device 0000:b2:16.0
(XEN) PCI add device 0000:b2:16.4
(XEN) PCI add device 0000:b2:17.0
(XEN) d0: Forcing read-only access to MFN fed00
(XEN) traps.c:1589: GPF (0000): ffff82d080377714 
[emul-priv-op.c#read_msr+0x211/0x483] -> ffff82d080382bb3

Reply via email to