(d4) HVM Loader
(d4) Detected Xen v4.4-unstable
(d4) Xenbus rings @0xfeffc000, event channel 4
(d4) System requested OVMF
(d4) CPU speed is 2661 MHz
(d4) Relocating guest memory for lowmem MMIO space disabled
(XEN) irq.c:270: Dom4 PCI link 0 changed 0 -> 5
(d4) PCI-ISA link 0 routed to IRQ5
(XEN) irq.c:270: Dom4 PCI link 1 changed 0 -> 10
(d4) PCI-ISA link 1 routed to IRQ10
(XEN) irq.c:270: Dom4 PCI link 2 changed 0 -> 11
(d4) PCI-ISA link 2 routed to IRQ11
(XEN) irq.c:270: Dom4 PCI link 3 changed 0 -> 5
(d4) PCI-ISA link 3 routed to IRQ5
(d4) pci dev 01:3 INTA->IRQ10
(d4) pci dev 02:0 INTA->IRQ11
(d4) pci dev 03:0 INTA->IRQ5
(d4) pci dev 04:0 INTA->IRQ5
(d4) pci dev 06:0 INTA->IRQ11
(d4) pci dev 1d:0 INTA->IRQ10
(d4) pci dev 1d:1 INTB->IRQ11
(d4) pci dev 1d:2 INTC->IRQ5
(d4) pci dev 1d:7 INTD->IRQ5
(d4) No RAM in high memory; setting high_mem resource base to 100000000
(d4) pci dev 02:0 bar 14 size 001000000: 0f0000008
(d4) pci dev 05:0 bar 10 size 001000000: 0f1000008
(d4) pci dev 06:0 bar 30 size 000040000: 0f2000000
(d4) pci dev 05:0 bar 30 size 000010000: 0f2040000
(d4) pci dev 03:0 bar 10 size 000004000: 0f2050000
(d4) pci dev 04:0 bar 14 size 000001000: 0f2054000
(d4) pci dev 05:0 bar 18 size 000001000: 0f2055000
(d4) pci dev 1d:7 bar 10 size 000001000: 0f2056000
(d4) pci dev 02:0 bar 10 size 000000100: 00000c001
(d4) pci dev 06:0 bar 10 size 000000100: 00000c101
(d4) pci dev 06:0 bar 14 size 000000100: 0f2057000
(d4) pci dev 04:0 bar 10 size 000000020: 00000c201
(d4) pci dev 1d:0 bar 20 size 000000020: 00000c221
(d4) pci dev 1d:1 bar 20 size 000000020: 00000c241
(d4) pci dev 1d:2 bar 20 size 000000020: 00000c261
(d4) pci dev 01:1 bar 20 size 000000010: 00000c281
(d4) Multiprocessor initialisation:
(d4)  - CPU0 ... 36-bit phys ... fixed MTRRs ... var MTRRs [2/8] ... done.
(d4)  - CPU1 ... 36-bit phys ... fixed MTRRs ... var MTRRs [2/8] ... done.
(d4) Testing HVM environment:
(d4)  - REP INSB across page boundaries ... passed
(d4)  - GS base MSRs and SWAPGS ... passed
(d4) Passed 2 of 2 tests
(d4) Writing SMBIOS tables ...
(d4) Loading OVMF ...
(d4) Loading ACPI ...
(d4) vm86 TSS at fc012c00
(d4) BIOS map:
(d4)  00000-fffff: Main BIOS
(d4) Invoking OVMF ...
(XEN) mm.c:620:d0 Could not get page ref for pfn ffffffffffffffff
(XEN) mm.c:620:d0 Could not get page ref for pfn ffffffffffffffff
(XEN) irq.c:270: Dom4 PCI link 0 changed 5 -> 11
(XEN) irq.c:270: Dom4 PCI link 1 changed 10 -> 11
(XEN) irq.c:270: Dom4 PCI link 2 changed 11 -> 10
(XEN) irq.c:270: Dom4 PCI link 3 changed 5 -> 10
(XEN) hvm.c:1274:d4 Triple fault on VCPU0 - invoking HVM shutdown action 1.