Linux 3.0 bugs impacting Xen

From Xen
Jump to navigationJump to search


Icon todo.png To Do:

This page is likely out of date


(fixed) kernel: WARNING: at arch/x86/xen/mmu.c:475 xen_make_pte+0x32/0x8e()

Also reported in Red Hat Bugzilla #742032

The workaround is to use nopat on the Linux command line. Fixed in kernel 3.3/3.4.

Xen and Linux 3.0 won't boot under VirtualBox

Use "clocksource=pit" to boot.

(fixed) VGA text support missing

http://darnok.org/xen/vga.patch has the patch. Git commit c2419b4a4727f67af2fc2cd68b0d878b75e781bb ("xen: allow enable use of VGA console on dom0") is backported and included in Linux 3.0.2 stable update, and also in Linux 3.1.0.

(fixed) dom0_mem=max:XG is ignored

Fixed in 3.1 with d312ae878b6aed3912e1acaaf5d0b2a9d08a4f11 and e3b73c4a25e9a5705b4ef28b91676caf01f9bc9f which are back-ported to 3.0.5. Their titles are:

  • xen: use maximum reservation to limit amount of usable RAM
  • xen/e820: if there is no dom0_mem=, don't tweak extra_pages.

and you also need to update the hypervisor to include:

  • x86: use 'dom0_mem' to limit the number of pages for dom0 (c/s 23790)

Explanation: Page tables are allocated for xen balloon space by dom0 even if the user has admonished the hypervisor that dom0 should only use up to a certain amount: dom0_mem=max:4G. If the physical machine has more than 4GB (say 32GB), dom0 will allocate pagetables for up to 32GB. Workaround is to use 'mem=4G' in Linux command line but we should do something smart.

32-bit graphic cards (AGP, or server ones: ATI ES1000) can't do Xorg

32-bit graphic cards (ATI ES1000) commonly found on servers can't do graphics properly. This ties in the TTM support Konrad is doing. There is a workaround right now to revert two git commits to make this work.

The patches are http://lwn.net/Articles/458724/ or git://oss.oracle.com/git/kwilk/xen.git devel/ttm.dma_pool.v1.8

(fixed) per_cpu IRQ handler enables the interrupts (32-bit only)

by d198d499148a0c64a41b3aba9e7dd43772832b91 I see this on AHCI controller (dom0), and in DomU with the xen_netfront. When the IRQ handler is invoked the IRQs are disabled - but after the handler has finished the IRQs are re-enabled.


Jul 27 15:02:52 g-pvops init: process '/bin/sh' (pid 2435) exited. Scheduling for restart.
Jul 27 15:02:52 g-pvops init: starting pid 2449, tty '/dev/ttyS0': '/bin/sh'
[    3.610183] ------------[ cut here ]------------
[    3.610196] WARNING: at /home/konrad/ssd/linux/kernel/irq/handle.c:130 handle_irq_event_percpu+0x20e/0x220()
[    3.610205] irq 44 handler xennet_interrupt+0x0/0xa0 [xen_netfront] enabled interrupts
[    3.610210] odules linked in: xen_evtchn iscsi_boot_sysfs iscsi_tcp libiscsi_tcp libiscsi scsi_transport_iscsi scsi_mod libcrc32c crc32c fbcon tileblit font bitblit ttm softcursor drm_kms_helper xen_blkfront xen_netfront xen_fbfront fb_sys_fops sysimgblt sysfillrect syscopyarea xen_kbdfront xenfs [last unloaded: dump_dma]
[    3.610253] Pid: 0, comm: swapper Tainted: G        W   3.0.0-05689-g3831864-dirty #1
[    3.610258] Call Trace:
[    3.610264]  [<c1082efd>] warn_slowpath_common+0x6d/0xa0
[    3.610269]  [<c10dc2ee>] ? handle_irq_event_percpu+0x20e/0x220
[    3.610274]  [<c10dc2ee>] ? handle_irq_event_percpu+0x20e/0x220
[    3.610279]  [<c1082fae>] warn_slowpath_fmt+0x2e/0x30
[    3.610288]  [<c10dc2ee>] handle_irq_event_percpu+0x20e/0x220
[    3.610294]  [<edea6850>] ? rx_refill_timeout+0x30/0x30 [xen_netfront]
[    3.610299]  [<c10dc337>] handle_irq_event+0x37/0x60
[    3.610304]  [<c10de818>] handle_edge_irq+0x58/0x100
[    3.610309]  [<c12e0cab>] __xen_evtchn_do_upcall+0x16b/0x240
[    3.610315]  [<c12e0eeb>] xen_evtchn_do_upcall+0x1b/0x30
[    3.610320]  [<c1514497>] xen_do_upcall+0x7/0xc
[    3.610325]  [<c10023a7>] ? hypercall_page+0x3a7/0x1000
[    3.610330]  [<c103a1b2>] ? xen_safe_halt+0x12/0x20
[    3.610335]  [<c104a6cd>] default_idle+0xfd/0x200
[    3.610340]  [<c1042436>] cpu_idle+0x96/0xe0
[    3.610345]  [<c14f035b>] rest_init+0x7b/0x80
[    3.610350]  [<c16c0867>] start_kernel+0x348/0x34e
[    3.610354]  [<c16c0349>] ? kernel_init+0x144/0x144
[    3.610359]  [<c16c00c4>] i386_start_kernel+0xb3/0xbb
[    3.610364]  [<c16c334f>] xen_start_kernel+0x5f7/0x5ff
[    3.610370]  [<c1409073>] ? qdisc_create+0x163/0x330
[    3.610373] ---[ end trace 290e3c1a1df62d86 ]---


Big (like 200MB) RAMdisk on 8GB (but not 4GB) crashes.

(XEN) Xen version 4.1.0 (Debian 4.1.0-3) (waldi@debian.org) (gcc version 4.5.2 (Debian 4.5.2-8) ) Thu Apr 28 13:31:20 UTC 2011
(XEN) Console output is synchronous.
(XEN) Bootloader: CO32 ultiboot loader v0.2
(XEN) Command line: loglvl=all console=com1,vga com1=115200,8n1 console_to_ring sync_console 
(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 BR signatures
(XEN)  Found 1 EDD information structures
(XEN) Xen-e820 RA map:
(XEN)  0000000000000000 - 000000000009ec00 (usable)
(XEN)  000000000009ec00 - 00000000000a0000 (reserved)
(XEN)  00000000000e0000 - 0000000000100000 (reserved)
(XEN)  0000000000100000 - 0000000020000000 (usable)
(XEN)  0000000020000000 - 0000000020200000 (reserved)
(XEN)  0000000020200000 - 0000000040000000 (usable)
(XEN)  0000000040000000 - 0000000040200000 (reserved)
(XEN)  0000000040200000 - 00000000bad80000 (usable)
(XEN)  00000000bad80000 - 00000000badc9000 (ACPI NVS)
(XEN)  00000000badc9000 - 00000000badd1000 (ACPI data)
(XEN)  00000000badd1000 - 00000000badf4000 (reserved)
(XEN)  00000000badf4000 - 00000000badf6000 (usable)
(XEN)  00000000badf6000 - 00000000bae06000 (reserved)
(XEN)  00000000bae06000 - 00000000bae14000 (ACPI NVS)
(XEN)  00000000bae14000 - 00000000bae3c000 (reserved)
(XEN)  00000000bae3c000 - 00000000bae7f000 (ACPI NVS)
(XEN)  00000000bae7f000 - 00000000bb000000 (usable)
(XEN)  00000000bb800000 - 00000000bfa00000 (reserved)
(XEN)  00000000fed1c000 - 00000000fed40000 (reserved)
(XEN)  00000000ff000000 - 0000000100000000 (reserved)
(XEN)  0000000100000000 - 000000023fe00000 (usable)
(XEN) ACPI: RSDP 000F0450, 0024 (r2 ALASKA)
(XEN) ACPI: XSDT BADC9068, 0054 (r1 ALASKA    A  I  1072009 AI     10013)
(XEN) ACPI: FACP BADD0308, 00F4 (r4 ALASKA    A  I  1072009 AI     10013)
(XEN) ACPI: DSDT BADC9150, 71B5 (r2 ALASKA    A  I       15 INTL 20051117)
(XEN) ACPI: FACS BAE0BF80, 0040
(XEN) ACPI: APIC BADD0400, 0072 (r3 ALASKA    A  I  1072009 AI     10013)
(XEN) ACPI: SSDT BADD0478, 0102 (r1 AICPU     PROC        1 SFT  3000001)
(XEN) ACPI: CFG BADD0580, 003C (r1 ALASKA    A  I  1072009 SFT       97)
(XEN) ACPI: HPET BADD05C0, 0038 (r1 ALASKA    A  I  1072009 AI.        4)
(XEN) ACPI: ASF! BADD05F8, 00A0 (r32 INTEL       HCG        1 TFS    F4240)
(XEN) System RA: 8104B (8299140kB)
(XEN) No NUA configuration found
(XEN) Faking a node at 0000000000000000-000000023fe00000
(XEN) Domain heap initialised
(XEN) found SP P-table at 000fcde0
(XEN) DI 2.7 present.
(XEN) Using APIC driver default
(XEN) ACPI: P-Timer IO Port: 0x408
(XEN) ACPI: ACPI SLEEP INFO: pm1x_cnt[404,0], pm1x_evt[400,0]
(XEN) ACPI: 32/64X FACS address mismatch in FADT - bae0bf80/0000000000000000, using 32
(XEN) ACPI:                  wakeup_vec[bae0bf8c], vec_size[20]
(XEN) ACPI: Local APIC address 0xfee00000
(XEN) ACPI: LAPIC (acpi_id[0x01] lapic_id[0x00] enabled)
(XEN) Processor #0 6:10 APIC version 21
(XEN) ACPI: LAPIC (acpi_id[0x02] lapic_id[0x02] enabled)
(XEN) Processor #2 6:10 APIC version 21
(XEN) ACPI: LAPIC (acpi_id[0x03] lapic_id[0x01] enabled)
(XEN) Processor #1 6:10 APIC version 21
(XEN) ACPI: LAPIC (acpi_id[0x04] lapic_id[0x03] enabled)
(XEN) Processor #3 6:10 APIC version 21
(XEN) ACPI: LAPIC_NI (acpi_id[0xff] high edge lint[0x1])
(XEN) ACPI: IOAPIC (id[0x00] address[0xfec00000] gsi_base[0])
(XEN) IOAPIC[0]: apic_id 0, 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) ACPI: HPET id: 0x8086a701 base: 0xfed00000
(XEN) PCI: CFG configuration 0: base e0000000 segment 0 buses 0 - 255
(XEN) PCI: Not using CONFIG.
(XEN) Table is not found!
(XEN) Using ACPI (ADT) for SP configuration information
(XEN) IRQ limits: 24 GSI, 760 SI/SI-X
(XEN) Using scheduler: SP Credit Scheduler (credit)
(XEN) Detected 3093.091 Hz processor.
(XEN) Initing memory sharing.
(XEN) mce_intel.c:1162: CA Capability: BCAST 1 SER 0 CCI 1 firstbank 0 extended CE SR 0
(XEN) Intel machine check reporting enabled
(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) ..TIER: vector=0xF0 apic1=0 pin1=2 apic2=-1 pin2=-1
(XEN) TSC deadline timer enabled
(XEN) Platform timer is 14.318Hz HPET
ÿ(XEN) Allocated console ring of 32 KiB.
(XEN) VX: Supported advanced features:
(XEN)  - APIC IO access virtualisation
(XEN)  - APIC TPR shadow
(XEN)  - Extended Page Tables (EPT)
(XEN)  - Virtual-Processor Identifiers (VPID)
(XEN)  - Virtual NI
(XEN)  - SR direct-access bitmap
(XEN)  - Unrestricted Guest
(XEN) EPT supports 2B super page.
(XEN) HV: ASIDs enabled.
(XEN) HV: VX enabled
(XEN) HV: Hardware Assisted Paging detected.
(XEN) Brought up 4 CPUs
(XEN) ACPI sleep modes: S3
(XEN) mcheck_poll: achine check polling timer started.
(XEN) *** LOADING DOAIN 0 ***
(XEN)  Xen  kernel: 64-bit, lsb, compat32
(XEN)  Dom0 kernel: 64-bit, PAE, lsb, paddr 0x1000000 -> 0x1e33000
(XEN) PHYSICAL EORY ARRANGEENT:
(XEN)  Dom0 alloc.:   0000000214000000->0000000218000000 (1876638 pages to be allocated)
(XEN)  Init. ramdisk: 0000000221521000->000000023fdff200
(XEN) VIRTUAL EORY ARRANGEENT:
(XEN)  Loaded kernel: ffffffff81000000->ffffffff81e33000
(XEN)  Init. ramdisk: ffffffff81e33000->ffffffffa0711200
(XEN)  Phys-ach map: ffffffffa0712000->ffffffffa1677be8
(XEN)  Start info:    ffffffffa1678000->ffffffffa16784b4
(XEN)  Page tables:   ffffffffa1679000->ffffffffa178a000
(XEN)  Boot stack:    ffffffffa178a000->ffffffffa178b000
(XEN)  TOTAL:         ffffffff80000000->ffffffffa1c00000
(XEN)  ENTRY ADDRESS: ffffffff81ac8200
(XEN) Dom0 has maximum 4 VCPUs
(XEN) Scrubbing Free RA: .done.
(XEN) Xen trace buffers: disabled
(XEN) Std. Loglevel: All
(XEN) Guest Loglevel: Nothing (Rate-limited: Errors and warnings)
(XEN) **********************************************
(XEN) ******* WARNING: CONSOLE OUTPUT IS SYNCHRONOUS
(XEN) ******* This option is intended to aid debugging of Xen by ensuring
(XEN) ******* that all output is synchronously delivered on the serial line.
(XEN) ******* However it can introduce SIGNIFICANT latencies and affect
(XEN) ******* timekeeping. It is NOT recommended for production use!
(XEN) **********************************************
(XEN) 3... 2... 1... 
(XEN) Xen is relinquishing VGA console.
(XEN) *** Serial input -> DO0 (type 'CTRL-a' three times to switch input to Xen)
(XEN) Freed 220kB init memory.
mapping kernel into physical memory
Xen: setup ISA identity maps
about to get started...
[    0.000000] Initializing cgroup subsys cpuset
[    0.000000] Initializing cgroup subsys cpu
[    0.000000] Linux version 2.6.39.3-xen-00413-gc5c0a5f (root@phenom) (gcc version 4.5.1 (Ubuntu/Linaro 4.5.1-7ubuntu2) ) #79 SP on Jul 11 11:53:54 EDT 2011
[    0.000000] Command line: console=hvc0 earlyprintk=xenboot debug boot=casper ip=dhcp netboot=nfs nfsroot=192.168.101.1:/data/tftpboot/xenubuntu 
[    0.000000] KERNEL supported cpus:
[    0.000000]   Intel GenuineIntel
[    0.000000]   AD AuthenticAD
[    0.000000]   Centaur CentaurHauls
[    0.000000] xen_release_chunk: looking at area pfn bb000-bb800: 2048 pages freed
[    0.000000] xen_release_chunk: looking at area pfn bfa00-fec00: 258560 pages freed
[    0.000000] xen_release_chunk: looking at area pfn fec01-fed1c: 283 pages freed
[    0.000000] xen_release_chunk: looking at area pfn fed40-fee00: 192 pages freed
[    0.000000] xen_release_chunk: looking at area pfn fee01-ff000: 511 pages freed
[    0.000000] released 261594 pages of unused memory
[    0.000000] Set 283998 page(s) to 1-1 mapping.
[    0.000000] BIOS-provided physical RA map:
[    0.000000]  Xen: 0000000000000000 - 000000000009e000 (usable)
[    0.000000]  Xen: 000000000009ec00 - 0000000000100000 (reserved)
[    0.000000]  Xen: 0000000000100000 - 0000000020000000 (usable)
[    0.000000]  Xen: 0000000020000000 - 0000000020200000 (reserved)
[    0.000000]  Xen: 0000000020200000 - 0000000040000000 (usable)
[    0.000000]  Xen: 0000000040000000 - 0000000040200000 (reserved)
[    0.000000]  Xen: 0000000040200000 - 00000000bad80000 (usable)
[    0.000000]  Xen: 00000000bad80000 - 00000000badc9000 (ACPI NVS)
[    0.000000]  Xen: 00000000badc9000 - 00000000badd1000 (ACPI data)
[    0.000000]  Xen: 00000000badd1000 - 00000000badf4000 (reserved)
[    0.000000]  Xen: 00000000badf4000 - 00000000badf6000 (usable)
[    0.000000]  Xen: 00000000badf6000 - 00000000bae06000 (reserved)
[    0.000000]  Xen: 00000000bae06000 - 00000000bae14000 (ACPI NVS)
[    0.000000]  Xen: 00000000bae14000 - 00000000bae3c000 (reserved)
[    0.000000]  Xen: 00000000bae3c000 - 00000000bae7f000 (ACPI NVS)
[    0.000000]  Xen: 00000000bae7f000 - 00000000bb000000 (usable)
[    0.000000]  Xen: 00000000bb800000 - 00000000bfa00000 (reserved)
[    0.000000]  Xen: 00000000fec00000 - 00000000fec01000 (reserved)
[    0.000000]  Xen: 00000000fed1c000 - 00000000fed40000 (reserved)
[    0.000000]  Xen: 00000000fee00000 - 00000000fee01000 (reserved)
[    0.000000]  Xen: 00000000ff000000 - 0000000100000000 (reserved)
[    0.000000]  Xen: 0000000100000000 - 000000027fbda000 (usable)
[    0.000000] bootconsole [xenboot0] enabled
[    0.000000] NX (Execute Disable) protection: active
[    0.000000] DI 2.7 present.
[    0.000000] DI: SI S-7680/H61-P23 (S-7680), BIOS V17.0 03/14/2011
[    0.000000] e820 update range: 0000000000000000 - 0000000000010000 (usable) ==> (reserved)
[    0.000000] e820 remove range: 00000000000a0000 - 0000000000100000 (usable)
[    0.000000] No AGP bridge found
[    0.000000] last_pfn = 0x27fbda max_arch_pfn = 0x400000000
[    0.000000] last_pfn = 0xbb000 max_arch_pfn = 0x400000000
[    0.000000] found SP P-table at [ffff8800000fcde0] fcde0
[    0.000000] initial memory mapped : 0 - 20712000
[    0.000000] Base memory trampoline at [ffff880000099000] 99000 size 20480
[    0.000000] init_memory_mapping: 0000000000000000-00000000bb000000
[    0.000000]  0000000000 - 00bb000000 page 4k
[    0.000000] kernel direct mapping tables up to bb000000 @ ba7a4000-bad80000
[    0.000000] xen: setting RW the range bac6c000 - bad80000
[    0.000000] init_memory_mapping: 0000000100000000-000000027fbda000
[    0.000000]  0100000000 - 027fbda000 page 4k
[    0.000000] kernel direct mapping tables up to 27fbda000 @ 1eb774000-1ecb7d000
[    0.000000] xen: setting RW the range 1ec378000 - 1ecb7d000
[    0.000000] RADISK: 01e33000 - 20712000
[    0.000000] ACPI: RSDP 00000000000f0450 00024 (v02 ALASKA)
[    0.000000] ACPI: XSDT 00000000badc9068 00054 (v01 ALASKA    A  I 01072009 AI  00010013)
[    0.000000] ACPI: FACP 00000000badd0308 000F4 (v04 ALASKA    A  I 01072009 AI  00010013)
[    0.000000] ACPI: DSDT 00000000badc9150 071B5 (v02 ALASKA    A  I 00000015 INTL 20051117)
[    0.000000] ACPI: FACS 00000000bae0bf80 00040
[    0.000000] ACPI: APIC 00000000badd0400 00072 (v03 ALASKA    A  I 01072009 AI  00010013)
[    0.000000] ACPI: SSDT 00000000badd0478 00102 (v01 AICPU     PROC 00000001 SFT 03000001)
[    0.000000] ACPI: CFG 00000000badd0580 0003C (v01 ALASKA    A  I 01072009 SFT 00000097)
[    0.000000] ACPI: HPET 00000000badd05c0 00038 (v01 ALASKA    A  I 01072009 AI. 00000004)
[    0.000000] ACPI: ASF! 00000000badd05f8 000A0 (v32 INTEL       HCG 00000001 TFS 000F4240)
[    0.000000] ACPI: Local APIC address 0xfee00000
[    0.000000] No NUA configuration found
[    0.000000] Faking a node at 0000000000000000-000000027fbda000
[    0.000000] NUA: Using 63 for the hash shift.
[    0.000000] Initmem setup node 0 0000000000000000-000000027fbda000
[    0.000000]   NODE_DATA [00000001ecb78000 - 00000001ecb7cfff]
[    0.000000] Zone PFN ranges:
[    0.000000]   DA      0x00000010 -> 0x00001000
[    0.000000]   DA32    0x00001000 -> 0x00100000
[    0.000000]   Normal   0x00100000 -> 0x0027fbda
[    0.000000] ovable zone start PFN for each node
[    0.000000] early_node_map[7] active PFN ranges
[    0.000000]     0: 0x00000010 -> 0x0000009e
[    0.000000]     0: 0x00000100 -> 0x00020000
[    0.000000]     0: 0x00020200 -> 0x00040000
[    0.000000]     0: 0x00040200 -> 0x000bad80
[    0.000000]     0: 0x000badf4 -> 0x000badf6
[    0.000000]     0: 0x000bae7f -> 0x000bb000
[    0.000000]     0: 0x00100000 -> 0x0027fbda
[    0.000000] On node 0 totalpages: 2336363
[    0.000000]   DA zone: 56 pages used for memmap
[    0.000000]   DA zone: 5 pages reserved
[    0.000000]   DA zone: 3921 pages, LIFO batch:0
[    0.000000]   DA32 zone: 14280 pages used for memmap
[    0.000000]   DA32 zone: 746299 pages, LIFO batch:31
[    0.000000]   Normal zone: 21490 pages used for memmap
[    0.000000]   Normal zone: 1550312 pages, LIFO batch:31
[    0.000000] ACPI: P-Timer IO Port: 0x408
[    0.000000] ACPI: Local APIC address 0xfee00000
[    0.000000] ACPI: LAPIC (acpi_id[0x01] lapic_id[0x00] enabled)
[    0.000000] BIOS bug: APIC version is 0 for CPU 0/0x0, fixing up to 0x10
[    0.000000] ACPI: LAPIC (acpi_id[0x02] lapic_id[0x02] enabled)
[    0.000000] ACPI: LAPIC (acpi_id[0x03] lapic_id[0x01] enabled)
[    0.000000] ACPI: LAPIC (acpi_id[0x04] lapic_id[0x03] enabled)
[    0.000000] ACPI: LAPIC_NI (acpi_id[0xff] high edge lint[0x1])
[    0.000000] ACPI: IOAPIC (id[0x00] address[0xfec00000] gsi_base[0])
[    0.000000] IOAPIC[0]: apic_id 0, version 255, address 0xfec00000, GSI 0-255
[    0.000000] ACPI: INT_SRC_OVR (bus 0 bus_irq 0 global_irq 2 dfl dfl)
[    0.000000] ACPI: INT_SRC_OVR (bus 0 bus_irq 9 global_irq 9 high level)
[    0.000000] ACPI: IRQ0 used by override.
[    0.000000] ACPI: IRQ2 used by override.
[    0.000000] ACPI: IRQ9 used by override.
[    0.000000] Using ACPI (ADT) for SP configuration information
[    0.000000] ACPI: HPET id: 0x8086a701 base: 0xfed00000
[    0.000000] SP: Allowing 4 CPUs, 0 hotplug CPUs
[    0.000000] nr_irqs_gsi: 272
[    0.000000] P: Registered nosave memory: 000000000009e000 - 000000000009f000
[    0.000000] P: Registered nosave memory: 000000000009f000 - 0000000000100000
[    0.000000] P: Registered nosave memory: 0000000020000000 - 0000000020200000
[    0.000000] P: Registered nosave memory: 0000000040000000 - 0000000040200000
[    0.000000] P: Registered nosave memory: 00000000bad80000 - 00000000badc9000
[    0.000000] P: Registered nosave memory: 00000000badc9000 - 00000000badd1000
[    0.000000] P: Registered nosave memory: 00000000badd1000 - 00000000badf4000
[    0.000000] P: Registered nosave memory: 00000000badf6000 - 00000000bae06000
[    0.000000] P: Registered nosave memory: 00000000bae06000 - 00000000bae14000
[    0.000000] P: Registered nosave memory: 00000000bae14000 - 00000000bae3c000
[    0.000000] P: Registered nosave memory: 00000000bae3c000 - 00000000bae7f000
[    0.000000] P: Registered nosave memory: 00000000bb000000 - 00000000bb800000
[    0.000000] P: Registered nosave memory: 00000000bb800000 - 00000000bfa00000
[    0.000000] P: Registered nosave memory: 00000000bfa00000 - 00000000fec00000
[    0.000000] P: Registered nosave memory: 00000000fec00000 - 00000000fec01000
[    0.000000] P: Registered nosave memory: 00000000fec01000 - 00000000fed1c000
[    0.000000] P: Registered nosave memory: 00000000fed1c000 - 00000000fed40000
[    0.000000] P: Registered nosave memory: 00000000fed40000 - 00000000fee00000
[    0.000000] P: Registered nosave memory: 00000000fee00000 - 00000000fee01000
[    0.000000] P: Registered nosave memory: 00000000fee01000 - 00000000ff000000
[    0.000000] P: Registered nosave memory: 00000000ff000000 - 0000000100000000
[    0.000000] Allocating PCI resources starting at bfa00000 (gap: bfa00000:3f200000)
[    0.000000] Booting paravirtualized kernel on Xen
[    0.000000] Xen version: 4.1.0 (preserve-AD)
[    0.000000] setup_percpu: NR_CPUS:64 nr_cpumask_bits:64 nr_cpu_ids:4 nr_node_ids:1
[    0.000000] PERCPU: Embedded 28 pages/cpu @ffff8801ecad0000 s84672 r8192 d21824 u114688
[    0.000000] pcpu-alloc: s84672 r8192 d21824 u114688 alloc=28*4096
[    0.000000] pcpu-alloc: [0] 0 [0] 1 [0] 2 [0] 3 
[    6.301667] Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 2300532
[    6.309702] Policy zone: Normal
[    6.312824] Kernel command line: console=hvc0 earlyprintk=xenboot debug boot=casper ip=dhcp netboot=nfs nfsroot=192.168.101.1:/data/tftpboot/xenubuntu 
[    6.326397] PID hash table entries: 4096 (order: 3, 32768 bytes)
[    6.355303] Placing 64B software IO TLB between ffff8801de200000 - ffff8801e2200000
[    6.362873] software IO TLB at phys 0x1de200000 - 0x1e2200000
[    6.387566] emory: 6194604k/10481512k available (6030k kernel code, 1136060k absent, 3150848k reserved, 4920k data, 968k init)
[    6.398916] SLUB: Genslabs=15, HWalign=64, Order=0-3, inObjects=0, CPUs=4, Nodes=1
[    6.406505] Hierarchical RCU implementation.
[    6.410727] 	RCU dyntick-idle grace-period acceleration is enabled.
[    6.416970] NR_IRQS:4352 nr_irqs:1024 16
[    6.420925] xen: sci override: global_irq=9 trigger=0 polarity=0
[    6.426847] xen: registering gsi 9 triggering 0 polarity 0
[    6.432310] xen: --> pirq=9 -> irq=9 (gsi=9)
[    6.436557] xen: acpi sci 9
[    6.439327] xen: --> pirq=1 -> irq=1 (gsi=1)
[    6.443572] xen: --> pirq=2 -> irq=2 (gsi=2)
[    6.447819] xen: --> pirq=3 -> irq=3 (gsi=3)
[    6.452066] xen: --> pirq=4 -> irq=4 (gsi=4)
[    6.456313] xen: --> pirq=5 -> irq=5 (gsi=5)
[    6.460559] xen: --> pirq=6 -> irq=6 (gsi=6)
[    6.464805] xen: --> pirq=7 -> irq=7 (gsi=7)
[    6.469052] xen: --> pirq=8 -> irq=8 (gsi=8)
[    6.473297] xen_map_pirq_gsi: returning irq 9 for gsi 9
[    6.478494] xen: --> pirq=9 -> irq=9 (gsi=9)
[    6.482743] xen: --> pirq=10 -> irq=10 (gsi=10)
[    6.487251] xen: --> pirq=11 -> irq=11 (gsi=11)
[    6.491756] xen: --> pirq=12 -> irq=12 (gsi=12)
[    6.496266] xen: --> pirq=13 -> irq=13 (gsi=13)
[    6.500771] xen: --> pirq=14 -> irq=14 (gsi=14)
[    6.505277] xen: --> pirq=15 -> irq=15 (gsi=15)
[    6.510653] Console: colour VGA+ 80x25
[    6.514229] console [hvc0] enabled, bootconsole disabled
[    6.514229] console [hvc0] enabled, bootconsole disabled
[    6.535423] allocated 75497472 bytes of page_cgroup
[    6.540213] please try 'cgroup_disable=memory' option if you don't want memory cgroups
[    6.548213] Xen: using vcpuop timer interface
[    6.552609] installing Xen timer for CPU 0
[    6.556787] Detected 3093.090 Hz processor.
[    6.561102] Calibrating delay loop (skipped), value calculated using timer frequency.. 6186.18 BogoIPS (lpj=30930900)
[    6.571845] pid_max: default: 32768 minimum: 301
[    6.576560] Security Framework initialized
[    6.580692] AppArmor: AppArmor initialized
[    6.588454] Dentry cache hash table entries: 2097152 (order: 12, 16777216 bytes)
[    6.599902] Inode-cache hash table entries: 1048576 (order: 11, 8388608 bytes)
[    6.608232] ount-cache hash table entries: 256
[    6.612813] Initializing cgroup subsys cpuacct
[    6.617198] Initializing cgroup subsys memory
[    6.621608] Initializing cgroup subsys devices
[    6.626106] Initializing cgroup subsys freezer
[    6.630613] Initializing cgroup subsys net_cls
[    6.635119] Initializing cgroup subsys blkio
[    6.639506] CPU: Unsupported number of siblings 16
[    6.646298] ACPI: Core revision 20110316
[    6.880995] ftrace: allocating 23328 entries in 92 pages
[    6.893295] cpu 0 spinlock event irq 273
[    6.897155] Performance Events: unsupported p6 CPU model 42 no PU driver, software events only.
[    6.906328] installing Xen timer for CPU 1
[    6.910342] cpu 1 spinlock event irq 279
[    6.914406] CPU: Unsupported number of siblings 16
[    6.914478] installing Xen timer for CPU 2
[    6.923346] cpu 2 spinlock event irq 285
[    6.927385] CPU: Unsupported number of siblings 16
[    6.927450] installing Xen timer for CPU 3
[    6.936347] cpu 3 spinlock event irq 291
[    6.940382] CPU: Unsupported number of siblings 16
[    6.940396] Brought up 4 CPUs
[    6.948313] devtmpfs: initialized
[    6.951604] P: Adding info for No Bus:platform
[    6.956354] P: Registering ACPI NVS region at bad80000 (299008 bytes)
[    6.962793] P: Registering ACPI NVS region at bae06000 (57344 bytes)
[    6.969285] P: Registering ACPI NVS region at bae3c000 (274432 bytes)
[    6.976454] Grant table initialized
[    6.979872] P: Adding info for platform:reg-dummy
[    6.984716] P: Adding info for No Bus:regulator.0
[    6.989561] print_constraints: dummy: 
[    6.993443] Time: 17:34:24  Date: 07/14/11
[    6.997598] NET: Registered protocol family 16
[    7.002173] P: Adding info for No Bus:vtcon0
[    7.006525] ACPI: bus type pci registered
[    7.010584] sync cpu 0 get result 1 max_id 3
[    7.014906] sync cpu 1 get result 1 max_id 3
[    7.019240] sync cpu 2 get result 1 max_id 3
[    7.023579] sync cpu 3 get result 1 max_id 3
[    7.027931] P: Adding info for No Bus:id
[    7.032001] PCI: CONFIG for domain 0000 [bus 00-ff] at [mem 0xe0000000-0xefffffff] (base 0xe0000000)
[    7.041336] PCI: not using CONFIG
[    7.044887] PCI: Using configuration type 1 for base access
[    7.051024] P: Adding info for No Bus:default
[    7.055433] bio: create slab <bio-0> at 0
[    7.061529] ACPI: EC: Look up EC in DSDT
[    7.067550] ACPI: Executed 1 blocks of module-level executable AL code
[    7.077689] ACPI: SSDT 00000000bae0ac18 0038C (v01    AI      IST 00000001 SFT 03000001)
[    7.086127] ACPI: Dynamic OE Table Load:
[    7.090049] ACPI: SSDT           (null) 0038C (v01    AI      IST 00000001 SFT 03000001)
[    7.098407] ACPI: SSDT 00000000bae0be18 00084 (v01    AI      CST 00000001 SFT 03000001)
[    7.107189] ACPI: Dynamic OE Table Load:
[    7.111108] ACPI: SSDT           (null) 00084 (v01    AI      CST 00000001 SFT 03000001)
[    7.120033] ACPI: Interpreter enabled
[    7.123609] ACPI: (supports S0 S1 S3 S4 S5)
[    7.127856] ACPI: Using IOAPIC for interrupt routing
[    7.132909] PCI: CONFIG for domain 0000 [bus 00-ff] at [mem 0xe0000000-0xefffffff] (base 0xe0000000)
[    7.142346] PCI: CONFIG at [mem 0xe0000000-0xefffffff] reserved in ACPI motherboard resources
[    7.229651] P: Adding info for acpi:LNXSYST:00
[    7.234200] P: Adding info for acpi:LNXCPU:00
[    7.238707] P: Adding info for acpi:LNXCPU:01
[    7.243212] P: Adding info for acpi:LNXCPU:02
[    7.247718] P: Adding info for acpi:LNXCPU:03
[    7.252228] P: Adding info for acpi:device:00
[    7.256770] [Firmware Bug]: ACPI: BIOS _OSI(Linux) query ignored
[    7.262942] P: Adding info for acpi:PNP0A08:00
[    7.267412] P: Adding info for acpi:PNP0C01:00
[    7.272023] P: Adding info for acpi:device:01
[    7.276515] P: Adding info for acpi:PNP0C02:00
[    7.281228] P: Adding info for acpi:PNP0303:00
[    7.285787] P: Adding info for acpi:PNP0F03:00
[    7.290479] P: Adding info for acpi:PNP0501:00
[    7.294939] P: Adding info for acpi:PNP0000:00
[    7.299530] P: Adding info for acpi:PNP0200:00
[    7.304124] P: Adding info for acpi:PNP0100:00
[    7.308718] P: Adding info for acpi:PNP0B00:00
[    7.313310] P: Adding info for acpi:PNP0800:00
[    7.317912] P: Adding info for acpi:PNP0C02:01
[    7.322504] P: Adding info for acpi:PNP0C04:00
[    7.327341] P: Adding info for acpi:PNP0400:00
[    7.331844] P: Adding info for acpi:PNP0C01:01
[    7.336413] P: Adding info for acpi:INT3F0D:00
[    7.341059] P: Adding info for acpi:device:02
[    7.345496] P: Adding info for acpi:device:03
[    7.350008] P: Adding info for acpi:device:04
[    7.354511] P: Adding info for acpi:device:05
[    7.359017] P: Adding info for acpi:device:06
[    7.363527] P: Adding info for acpi:device:07
[    7.368023] P: Adding info for acpi:device:08
[    7.372534] P: Adding info for acpi:device:09
[    7.377053] P: Adding info for acpi:device:0a
[    7.381575] P: Adding info for acpi:device:0b
[    7.386057] P: Adding info for acpi:device:0c
[    7.390556] P: Adding info for acpi:device:0d
[    7.395070] P: Adding info for acpi:device:0e
[    7.399577] P: Adding info for acpi:device:0f
[    7.404080] P: Adding info for acpi:device:10
[    7.408591] P: Adding info for acpi:device:11
[    7.413165] P: Adding info for acpi:device:12
[    7.417607] P: Adding info for acpi:device:13
[    7.422107] P: Adding info for acpi:device:14
[    7.426607] P: Adding info for acpi:device:15
[    7.431115] P: Adding info for acpi:device:16
[    7.435632] P: Adding info for acpi:device:17
[    7.440138] P: Adding info for acpi:device:18
[    7.444642] P: Adding info for acpi:device:19
[    7.449142] P: Adding info for acpi:device:1a
[    7.453648] P: Adding info for acpi:device:1b
[    7.458161] P: Adding info for acpi:device:1c
[    7.462740] P: Adding info for acpi:device:1d
[    7.467174] P: Adding info for acpi:device:1e
[    7.471674] P: Adding info for acpi:device:1f
[    7.476187] P: Adding info for acpi:device:20
[    7.480696] P: Adding info for acpi:device:21
[    7.485200] P: Adding info for acpi:device:22
[    7.489698] P: Adding info for acpi:device:23
[    7.494204] P: Adding info for acpi:device:24
[    7.498719] P: Adding info for acpi:device:25
[    7.503289] P: Adding info for acpi:device:26
[    7.507803] P: Adding info for acpi:device:27
[    7.512289] P: Adding info for acpi:device:28
[    7.516796] P: Adding info for acpi:device:29
[    7.521317] P: Adding info for acpi:device:2a
[    7.525826] P: Adding info for acpi:device:2b
[    7.530333] P: Adding info for acpi:device:2c
[    7.534820] P: Adding info for acpi:device:2d
[    7.539345] P: Adding info for acpi:device:2e
[    7.543839] P: Adding info for acpi:device:2f
[    7.548345] P: Adding info for acpi:device:30
[    7.552850] P: Adding info for acpi:device:31
[    7.557329] P: Adding info for acpi:PNP0103:00
[    7.561906] P: Adding info for acpi:device:32
[    7.566541] P: Adding info for acpi:PNP0C0C:00
[    7.571049] P: Adding info for acpi:PNP0C0F:00
[    7.575630] P: Adding info for acpi:PNP0C0F:01
[    7.580231] P: Adding info for acpi:PNP0C0F:02
[    7.584818] P: Adding info for acpi:PNP0C0F:03
[    7.589409] P: Adding info for acpi:PNP0C0F:04
[    7.593992] P: Adding info for acpi:PNP0C0F:05
[    7.598603] P: Adding info for acpi:PNP0C0F:06
[    7.603188] P: Adding info for acpi:PNP0C0F:07
[    7.607756] P: Adding info for acpi:PNP0C01:02
[    7.612337] P: Adding info for acpi:device:33
[    7.616936] P: Adding info for acpi:PNP0C02:02
[    7.621433] P: Adding info for acpi:LNXPWRBN:00
[    7.647192] ACPI: No dock devices found.
[    7.651025] HEST: Table not found.
[    7.654491] PCI: Using host bridge windows from ACPI; if necessary, use "pci=nocrs" and report a bug
[    7.663977] ACPI: PCI Root Bridge [PCI0] (domain 0000 [bus 00-ff])
[    7.670075] P: Adding info for No Bus:pci0000:00
[    7.674844] P: Adding info for No Bus:0000:00
[    7.679606] pci_root PNP0A08:00: host bridge window [io  0x0000-0x03af]
[    7.686122] pci_root PNP0A08:00: host bridge window [io  0x03e0-0x0cf7]
[    7.692797] pci_root PNP0A08:00: host bridge window [io  0x03b0-0x03df]
[    7.699470] pci_root PNP0A08:00: host bridge window [io  0x0d00-0xffff]
[    7.706143] pci_root PNP0A08:00: host bridge window [mem 0x000a0000-0x000bffff]
[    7.713509] pci_root PNP0A08:00: host bridge window [mem 0x000c0000-0x000dffff]
[    7.720874] pci_root PNP0A08:00: host bridge window [mem 0xbfa00000-0xffffffff]
[    7.728255] pci 0000:00:00.0: [8086:0100] type 0 class 0x000600
[    7.734269] pci 0000:00:00.0: rpm_resume flags 0x0
[    7.739075] pci 0000:00:00.0: rpm_resume returns -11
[    7.744134] pci 0000:00:01.0: [8086:0101] type 1 class 0x000604
[    7.750139] pci 0000:00:01.0: rpm_resume flags 0x0
[    7.754933] pci 0000:00:01.0: rpm_resume returns -11
[    7.759971] pci 0000:00:01.0: PE# supported from D0 D3hot D3cold
[    7.766116] pci 0000:00:01.0: PE# disabled
[    7.770397] pci 0000:00:02.0: [8086:0102] type 0 class 0x000300
[    7.776362] pci 0000:00:02.0: reg 10: [mem 0xfe000000-0xfe3fffff 64bit]
[    7.783023] pci 0000:00:02.0: reg 18: [mem 0xd0000000-0xdfffffff 64bit pref]
[    7.790127] pci 0000:00:02.0: reg 20: [io  0xf000-0xf03f]
[    7.795614] pci 0000:00:02.0: rpm_resume flags 0x0
[    7.800432] pci 0000:00:02.0: rpm_resume returns -11
[    7.805528] pci 0000:00:16.0: [8086:1c3a] type 0 class 0x000780
[    7.811475] pci 0000:00:16.0: reg 10: [mem 0xfe607000-0xfe60700f 64bit]
[    7.818208] pci 0000:00:16.0: rpm_resume flags 0x0
[    7.822964] pci 0000:00:16.0: rpm_resume returns -11
[    7.828002] pci 0000:00:16.0: PE# supported from D0 D3hot D3cold
[    7.834147] pci 0000:00:16.0: PE# disabled
[    7.838439] pci 0000:00:1a.0: [8086:1c2d] type 0 class 0x000c03
[    7.844401] pci 0000:00:1a.0: reg 10: [mem 0xfe606000-0xfe6063ff]
[    7.850638] pci 0000:00:1a.0: rpm_resume flags 0x0
[    7.855376] pci 0000:00:1a.0: rpm_resume returns -11
[    7.860412] pci 0000:00:1a.0: PE# supported from D0 D3hot D3cold
[    7.866560] pci 0000:00:1a.0: PE# disabled
[    7.870837] pci 0000:00:1b.0: [8086:1c20] type 0 class 0x000403
[    7.876805] pci 0000:00:1b.0: reg 10: [mem 0xfe600000-0xfe603fff 64bit]
[    7.883546] pci 0000:00:1b.0: rpm_resume flags 0x0
[    7.888307] pci 0000:00:1b.0: rpm_resume returns -11
[    7.893345] pci 0000:00:1b.0: PE# supported from D0 D3hot D3cold
[    7.899489] pci 0000:00:1b.0: PE# disabled
[    7.903765] pci 0000:00:1c.0: [8086:1c10] type 1 class 0x000604
[    7.909808] pci 0000:00:1c.0: rpm_resume flags 0x0
[    7.914567] pci 0000:00:1c.0: rpm_resume returns -11
[    7.919615] pci 0000:00:1c.0: PE# supported from D0 D3hot D3cold
[    7.925749] pci 0000:00:1c.0: PE# disabled
[    7.930032] pci 0000:00:1c.4: [8086:1c18] type 1 class 0x000604
[    7.936061] pci 0000:00:1c.4: rpm_resume flags 0x0
[    7.940825] pci 0000:00:1c.4: rpm_resume returns -11
[    7.945874] pci 0000:00:1c.4: PE# supported from D0 D3hot D3cold
[    7.952008] pci 0000:00:1c.4: PE# disabled
[    7.956297] pci 0000:00:1d.0: [8086:1c26] type 0 class 0x000c03
[    7.962263] pci 0000:00:1d.0: reg 10: [mem 0xfe605000-0xfe6053ff]
[    7.968499] pci 0000:00:1d.0: rpm_resume flags 0x0
[    7.973236] pci 0000:00:1d.0: rpm_resume returns -11
[    7.978274] pci 0000:00:1d.0: PE# supported from D0 D3hot D3cold
[    7.984421] pci 0000:00:1d.0: PE# disabled
[    7.988701] pci 0000:00:1f.0: [8086:1c5c] type 0 class 0x000601
[    7.994824] pci 0000:00:1f.0: rpm_resume flags 0x0
[    7.999533] pci 0000:00:1f.0: rpm_resume returns -11
[    8.004600] pci 0000:00:1f.2: [8086:1c00] type 0 class 0x000101
[    8.010566] pci 0000:00:1f.2: reg 10: [io  0xf110-0xf117]
[    8.016012] pci 0000:00:1f.2: reg 14: [io  0xf100-0xf103]
[    8.021471] pci 0000:00:1f.2: reg 18: [io  0xf0f0-0xf0f7]
[    8.026931] pci 0000:00:1f.2: reg 1c: [io  0xf0e0-0xf0e3]
[    8.032389] pci 0000:00:1f.2: reg 20: [io  0xf0d0-0xf0df]
[    8.037850] pci 0000:00:1f.2: reg 24: [io  0xf0c0-0xf0cf]
[    8.043333] pci 0000:00:1f.2: rpm_resume flags 0x0
[    8.048152] pci 0000:00:1f.2: rpm_resume returns -11
[    8.053208] pci 0000:00:1f.3: [8086:1c22] type 0 class 0x000c05
[    8.059181] pci 0000:00:1f.3: reg 10: [mem 0xfe604000-0xfe6040ff 64bit]
[    8.065866] pci 0000:00:1f.3: reg 20: [io  0xf040-0xf05f]
[    8.071322] pci 0000:00:1f.3: rpm_resume flags 0x0
[    8.076144] pci 0000:00:1f.3: rpm_resume returns -11
[    8.081196] pci 0000:00:1f.5: [8086:1c08] type 0 class 0x000101
[    8.087176] pci 0000:00:1f.5: reg 10: [io  0xf0b0-0xf0b7]
[    8.092622] pci 0000:00:1f.5: reg 14: [io  0xf0a0-0xf0a3]
[    8.098081] pci 0000:00:1f.5: reg 18: [io  0xf090-0xf097]
[    8.103541] pci 0000:00:1f.5: reg 1c: [io  0xf080-0xf083]
[    8.109000] pci 0000:00:1f.5: reg 20: [io  0xf070-0xf07f]
[    8.114459] pci 0000:00:1f.5: reg 24: [io  0xf060-0xf06f]
[    8.119945] pci 0000:00:1f.5: rpm_resume flags 0x0
[    8.124760] pci 0000:00:1f.5: rpm_resume returns -11
[    8.129897] pci 0000:01:00.0: [8086:10d3] type 0 class 0x000200
[    8.135792] pci 0000:01:00.0: reg 10: [mem 0xfe5c0000-0xfe5dffff]
[    8.141939] pci 0000:01:00.0: reg 14: [mem 0xfe500000-0xfe57ffff]
[    8.148092] pci 0000:01:00.0: reg 18: [io  0xe000-0xe01f]
[    8.153552] pci 0000:01:00.0: reg 1c: [mem 0xfe5e0000-0xfe5e3fff]
[    8.159738] pci 0000:01:00.0: reg 30: [mem 0xfe580000-0xfe5bffff pref]
[    8.166322] pci 0000:01:00.0: rpm_resume flags 0x0
[    8.171126] pci 0000:01:00.0: rpm_resume returns -11
[    8.176166] pci 0000:01:00.0: PE# supported from D0 D3hot D3cold
[    8.182311] pci 0000:01:00.0: PE# disabled
[    8.196699] pci 0000:00:01.0: PCI bridge to [bus 01-01]
[    8.201833] pci 0000:00:01.0:   bridge window [io  0xe000-0xefff]
[    8.207988] pci 0000:00:01.0:   bridge window [mem 0xfe500000-0xfe5fffff]
[    8.214835] pci 0000:00:01.0:   bridge window [mem 0xfff00000-0x000fffff pref] (disabled)
[    8.223138] pci 0000:00:1c.0: PCI bridge to [bus 02-02]
[    8.228353] pci 0000:00:1c.0:   bridge window [io  0xf000-0x0000] (disabled)
[    8.235461] pci 0000:00:1c.0:   bridge window [mem 0xfff00000-0x000fffff] (disabled)
[    8.243263] pci 0000:00:1c.0:   bridge window [mem 0xfff00000-0x000fffff pref] (disabled)
[    8.251594] pci 0000:03:00.0: [1969:1083] type 0 class 0x000200
[    8.257504] pci 0000:03:00.0: reg 10: [mem 0xfe400000-0xfe43ffff 64bit]
[    8.264159] pci 0000:03:00.0: reg 18: [io  0xd000-0xd07f]
[    8.269728] pci 0000:03:00.0: rpm_resume flags 0x0
[    8.274453] pci 0000:03:00.0: rpm_resume returns -11
[    8.279494] pci 0000:03:00.0: PE# supported from D0 D1 D2 D3hot D3cold
[    8.286157] pci 0000:03:00.0: PE# disabled
[    8.300550] pci 0000:00:1c.4: PCI bridge to [bus 03-03]
[    8.305688] pci 0000:00:1c.4:   bridge window [io  0xd000-0xdfff]
[    8.311838] pci 0000:00:1c.4:   bridge window [mem 0xfe400000-0xfe4fffff]
[    8.318691] pci 0000:00:1c.4:   bridge window [mem 0xfff00000-0x000fffff pref] (disabled)
[    8.326938] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0._PRT]
[    8.332962] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.PEX0._PRT]
[    8.339342] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.PEX4._PRT]
[    8.345748] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.P0P1._PRT]
[    8.352258]  pci0000:00: Requesting ACPI _OSC control (0x1d)
[    8.358017] Unable to assume _OSC PCIe control. Disabling ASP
[    8.363971] P: Adding info for pci:0000:00:00.0
(XEN) PCI add device 00:00.0
[    8.371342] P: Adding info for pci:0000:00:01.0
(XEN) PCI add device 00:01.0
[    8.378713] P: Adding info for pci:0000:00:02.0
(XEN) PCI add device 00:02.0
[    8.386079] P: Adding info for pci:0000:00:16.0
(XEN) PCI add device 00:16.0
[    8.393451] P: Adding info for pci:0000:00:1a.0
(XEN) PCI add device 00:1a.0
[    8.400822] P: Adding info for pci:0000:00:1b.0
(XEN) PCI add device 00:1b.0
[    8.408196] P: Adding info for pci:0000:00:1c.0
(XEN) PCI add device 00:1c.0
[    8.415566] P: Adding info for pci:0000:00:1c.4
(XEN) PCI add device 00:1c.4
[    8.422938] P: Adding info for pci:0000:00:1d.0
(XEN) PCI add device 00:1d.0
[    8.430306] P: Adding info for pci:0000:00:1f.0
(XEN) PCI add device 00:1f.0
[    8.437678] P: Adding info for pci:0000:00:1f.2
(XEN) PCI add device 00:1f.2
[    8.445043] P: Adding info for pci:0000:00:1f.3
(XEN) PCI add device 00:1f.3
[    8.452413] P: Adding info for pci:0000:00:1f.5
(XEN) PCI add device 00:1f.5
[    8.459557] P: Adding info for pci:0000:01:00.0
(XEN) PCI add device 01:00.0
[    8.466834] P: Adding info for No Bus:0000:01
[    8.471334] P: Adding info for No Bus:0000:02
[    8.475848] P: Adding info for pci:0000:03:00.0
(XEN) PCI add device 03:00.0
[    8.483128] P: Adding info for No Bus:0000:03
[    8.487673] ACPI: PCI Interrupt Link [LNKA] (IRQs 3 4 5 6 7 10 *11 12 14 15)
[    8.494770] ACPI: PCI Interrupt Link [LNKB] (IRQs *3 4 5 6 7 10 11 12 14 15)
[    8.501873] ACPI: PCI Interrupt Link [LNKC] (IRQs 3 4 5 6 *10 11 12 14 15)
[    8.508809] ACPI: PCI Interrupt Link [LNKD] (IRQs 3 4 5 6 10 *11 12 14 15)
[    8.515740] ACPI: PCI Interrupt Link [LNKE] (IRQs 3 4 5 6 7 10 11 12 14 15) *0
[    8.523021] ACPI: PCI Interrupt Link [LNKF] (IRQs 3 4 5 6 7 10 11 12 14 15) *0
[    8.530298] ACPI: PCI Interrupt Link [LNKG] (IRQs 3 4 5 6 7 *10 11 12 14 15)
[    8.537406] ACPI: PCI Interrupt Link [LNKH] (IRQs 3 4 5 6 *7 10 11 12 14 15)
[    8.544496] xen/balloon: Initialising balloon driver.
[    8.549584] last_pfn = 0x27fbda max_arch_pfn = 0x400000000
[    8.560237] xen-balloon: Initialising balloon driver.
[    8.565264] P: Adding info for No Bus:vga_arbiter
[    8.570067] vgaarb: device added: PCI:0000:00:02.0,decodes=io+mem,owns=io+mem,locks=none
[    8.578206] vgaarb: loaded
[    8.581106] SCSI subsystem initialized
[    8.584849] libata version 3.00 loaded.
[    8.588715] usbcore: registered new interface driver usbfs
[    8.594237] usbcore: registered new interface driver hub
[    8.599635] usbcore: registered new device driver usb
[    8.604812] wmi: apper loaded
[    8.607838] PCI: Using ACPI for IRQ routing
[    8.612085] PCI: pci_cache_line_size set to 64 bytes
[    8.617183] reserve RA buffer: 000000000009e000 - 000000000009ffff 
[    8.623264] reserve RA buffer: 00000000bad80000 - 00000000bbffffff 
[    8.629677] reserve RA buffer: 00000000badf6000 - 00000000bbffffff 
[    8.636090] reserve RA buffer: 00000000bb000000 - 00000000bbffffff 
[    8.642502] reserve RA buffer: 000000027fbda000 - 000000027fffffff 
[    8.648961] P: Adding info for No Bus:lo
[    8.653279] NetLabel: Initializing
[    8.656714] NetLabel:  domain hash size = 128
[    8.661135] NetLabel:  protocols = UNLABELED CIPSOv4
[    8.666174] NetLabel:  unlabeled traffic allowed by default
[    8.671807] P: Adding info for No Bus:rfkill
[    8.676238] Switching to clocksource xen
[    8.684706] AppArmor: AppArmor Filesystem Enabled
[    8.689174] Switched to NOHz mode on CPU #1
[    8.692019] Switched to NOHz mode on CPU #2
[    8.695230] Switched to NOHz mode on CPU #3
[    8.702078] Switched to NOHz mode on CPU #0
[    8.706316] pciback 0000:00:00.0: probing...
[    8.710651] pciback 0000:00:01.0: probing...
[    8.714979] pciback 0000:00:02.0: probing...
[    8.719311] pciback 0000:00:16.0: probing...
[    8.723649] pciback 0000:00:1a.0: probing...
[    8.727976] pciback 0000:00:1b.0: probing...
[    8.732312] pciback 0000:00:1c.0: probing...
[    8.736643] pciback 0000:00:1c.4: probing...
[    8.740981] pciback 0000:00:1d.0: probing...
[    8.745310] pciback 0000:00:1f.0: probing...
[    8.749643] pciback 0000:00:1f.2: probing...
[    8.753979] pciback 0000:00:1f.3: probing...
[    8.758309] pciback 0000:00:1f.5: probing...
[    8.762645] pciback 0000:01:00.0: probing...
[    8.766974] pciback 0000:03:00.0: probing...
[    8.771334] pnp: PnP ACPI init
[    8.774431] P: Adding info for No Bus:pnp0
[    8.778671] ACPI: bus type pnp registered
[    8.782927] pnp 00:00: [bus 00-ff]
[    8.786240] pnp 00:00: [io  0x0cf8-0x0cff]
[    8.790402] pnp 00:00: [io  0x0000-0x03af window]
[    8.795168] pnp 00:00: [io  0x03e0-0x0cf7 window]
[    8.799932] pnp 00:00: [io  0x03b0-0x03df window]
[    8.804701] pnp 00:00: [io  0x0d00-0xffff window]
[    8.809466] pnp 00:00: [mem 0x000a0000-0x000bffff window]
[    8.814926] pnp 00:00: [mem 0x000c0000-0x000dffff window]
[    8.820386] pnp 00:00: [mem 0xbfa00000-0xffffffff window]
[    8.825845] pnp 00:00: [mem 0x00000000 window]
[    8.830398] P: Adding info for pnp:00:00
[    8.834431] pnp 00:00: Plug and Play ACPI device, IDs PNP0a08 PNP0a03 (active)
[    8.841786] pnp 00:01: [mem 0xfed10000-0xfed19fff]
[    8.846559] pnp 00:01: [mem 0xe0000000-0xefffffff]
[    8.851410] pnp 00:01: [mem 0xfed90000-0xfed93fff]
[    8.856263] pnp 00:01: [mem 0xfed20000-0xfed3ffff]
[    8.861119] pnp 00:01: [mem 0xfee00000-0xfee0ffff]
[    8.865993] P: Adding info for pnp:00:01
[    8.870056] system 00:01: [mem 0xfed10000-0xfed19fff] has been reserved
[    8.876717] system 00:01: [mem 0xe0000000-0xefffffff] has been reserved
[    8.883391] system 00:01: [mem 0xfed90000-0xfed93fff] has been reserved
[    8.890065] system 00:01: [mem 0xfed20000-0xfed3ffff] has been reserved
[    8.896737] system 00:01: [mem 0xfee00000-0xfee0ffff] could not be reserved
[    8.903757] system 00:01: Plug and Play ACPI device, IDs PNP0c01 (active)
[    8.910736] pnp 00:02: [io  0x0000-0xffffffffffffffff disabled]
[    8.916582] pnp 00:02: [io  0x0a00-0x0a1f]
[    8.920741] pnp 00:02: [io  0x0a30-0x0a3f]
[    8.924903] pnp 00:02: [io  0x0000-0xffffffffffffffff disabled]
[    8.930901] P: Adding info for pnp:00:02
[    8.934968] system 00:02: [io  0x0a00-0x0a1f] has been reserved
[    8.940935] system 00:02: [io  0x0a30-0x0a3f] has been reserved
[    8.946914] system 00:02: Plug and Play ACPI device, IDs PNP0c02 (active)
[    8.953777] pnp 00:03: [io  0x0060]
[    8.957314] pnp 00:03: [io  0x0064]
[    8.960868] xen: registering gsi 1 triggering 1 polarity 0
[    8.966413] xen_map_pirq_gsi: returning irq 1 for gsi 1
[    8.971700] xen: --> pirq=1 -> irq=1 (gsi=1)
[    8.976044] pnp 00:03: [irq 1]
[    8.979166] P: Adding info for pnp:00:03
[    8.983230] pnp 00:03: Plug and Play ACPI device, IDs PNP0303 PNP030b (active)
[    8.990539] xen: registering gsi 12 triggering 1 polarity 0
[    8.996177] xen_map_pirq_gsi: returning irq 12 for gsi 12
[    9.001635] xen: --> pirq=12 -> irq=12 (gsi=12)
[    9.006237] pnp 00:04: [irq 12]
[    9.009451] P: Adding info for pnp:00:04
[    9.013512] pnp 00:04: Plug and Play ACPI device, IDs PNP0f03 PNP0f13 (active)
[    9.021023] pnp 00:05: [io  0x03f8-0x03ff]
[    9.025033] xen: registering gsi 4 triggering 1 polarity 0
[    9.030576] xen_map_pirq_gsi: returning irq 4 for gsi 4
[    9.035865] xen: --> pirq=4 -> irq=4 (gsi=4)
[    9.040202] Already setup the GSI :4
[    9.043837] pnp 00:05: [irq 4]
[    9.046957] pnp 00:05: [dma 0 disabled]
[    9.050887] P: Adding info for pnp:00:05
[    9.054932] pnp 00:05: Plug and Play ACPI device, IDs PNP0501 (active)
[    9.061522] pnp 00:06: [dma 4]
[    9.064637] pnp 00:06: [io  0x0000-0x000f]
[    9.068795] pnp 00:06: [io  0x0081-0x0083]
[    9.072962] pnp 00:06: [io  0x0087]
[    9.076510] pnp 00:06: [io  0x0089-0x008b]
[    9.080667] pnp 00:06: [io  0x008f]
[    9.084222] pnp 00:06: [io  0x00c0-0x00df]
[    9.088393] P: Adding info for pnp:00:06
[    9.092457] pnp 00:06: Plug and Play ACPI device, IDs PNP0200 (active)
[    9.099047] pnp 00:07: [io  0x0070-0x0071]
[    9.103199] xen: registering gsi 8 triggering 1 polarity 0
[    9.108747] xen_map_pirq_gsi: returning irq 8 for gsi 8
[    9.114032] xen: --> pirq=8 -> irq=8 (gsi=8)
[    9.118374] pnp 00:07: [irq 8]
[    9.121498] P: Adding info for pnp:00:07
[    9.125562] pnp 00:07: Plug and Play ACPI device, IDs PNP0b00 (active)
[    9.132150] pnp 00:08: [io  0x0061]
[    9.135710] P: Adding info for pnp:00:08
[    9.139774] pnp 00:08: Plug and Play ACPI device, IDs PNP0800 (active)
[    9.146377] pnp 00:09: [io  0x0010-0x001f]
[    9.150520] pnp 00:09: [io  0x0022-0x003f]
[    9.154678] pnp 00:09: [io  0x0044-0x005f]
[    9.158838] pnp 00:09: [io  0x0062-0x0063]
[    9.162997] pnp 00:09: [io  0x0065-0x006f]
[    9.167158] pnp 00:09: [io  0x0072-0x007f]
[    9.171317] pnp 00:09: [io  0x0080]
[    9.174871] pnp 00:09: [io  0x0084-0x0086]
[    9.179032] pnp 00:09: [io  0x0088]
[    9.182584] pnp 00:09: [io  0x008c-0x008e]
[    9.186745] pnp 00:09: [io  0x0090-0x009f]
[    9.190904] pnp 00:09: [io  0x00a2-0x00bf]
[    9.195063] pnp 00:09: [io  0x00e0-0x00ef]
[    9.199223] pnp 00:09: [io  0x04d0-0x04d1]
[    9.203408] P: Adding info for pnp:00:09
[    9.207466] system 00:09: [io  0x04d0-0x04d1] has been reserved
[    9.213437] system 00:09: Plug and Play ACPI device, IDs PNP0c02 (active)
[    9.220288] pnp 00:0a: [io  0x00f0-0x00ff]
[    9.224441] xen: registering gsi 13 triggering 1 polarity 0
[    9.230074] xen_map_pirq_gsi: returning irq 13 for gsi 13
[    9.235535] xen: --> pirq=13 -> irq=13 (gsi=13)
[    9.240136] pnp 00:0a: [irq 13]
[    9.243351] P: Adding info for pnp:00:0a
[    9.247411] pnp 00:0a: Plug and Play ACPI device, IDs PNP0c04 (active)
[    9.254289] pnp 00:0b: [io  0x0378-0x037f]
[    9.258297] xen: registering gsi 5 triggering 1 polarity 0
[    9.263843] xen_map_pirq_gsi: returning irq 5 for gsi 5
[    9.269128] xen: --> pirq=5 -> irq=5 (gsi=5)
[    9.273470] pnp 00:0b: [irq 5]
[    9.276583] pnp 00:0b: [dma 3]
[    9.279818] P: Adding info for pnp:00:0b
[    9.283778] pnp 00:0b: Plug and Play ACPI device, IDs PNP0400 (active)
[    9.290585] pnp 00:0c: [io  0x0400-0x0453]
[    9.294590] pnp 00:0c: [io  0x0458-0x047f]
[    9.298753] pnp 00:0c: [io  0x1180-0x119f]
[    9.302909] pnp 00:0c: [io  0x0500-0x057f]
[    9.307071] pnp 00:0c: [mem 0xfed1c000-0xfed1ffff]
[    9.311925] pnp 00:0c: [mem 0xfec00000-0xfecfffff]
[    9.316777] pnp 00:0c: [mem 0xfed08000-0xfed08fff]
[    9.321630] pnp 00:0c: [mem 0xff000000-0xffffffff]
[    9.326506] P: Adding info for pnp:00:0c
[    9.330565] system 00:0c: [io  0x0400-0x0453] has been reserved
[    9.336537] system 00:0c: [io  0x0458-0x047f] has been reserved
[    9.342517] system 00:0c: [io  0x1180-0x119f] has been reserved
[    9.348495] system 00:0c: [io  0x0500-0x057f] has been reserved
[    9.354476] system 00:0c: [mem 0xfed1c000-0xfed1ffff] has been reserved
[    9.361149] system 00:0c: [mem 0xfec00000-0xfecfffff] could not be reserved
[    9.368169] system 00:0c: [mem 0xfed08000-0xfed08fff] has been reserved
[    9.374841] system 00:0c: [mem 0xff000000-0xffffffff] has been reserved
[    9.381516] system 00:0c: Plug and Play ACPI device, IDs PNP0c01 (active)
[    9.388397] pnp 00:0d: [io  0x0454-0x0457]
[    9.392548] P: Adding info for pnp:00:0d
[    9.396597] system 00:0d: [io  0x0454-0x0457] has been reserved
[    9.402574] system 00:0d: Plug and Play ACPI device, IDs INT3f0d PNP0c02 (active)
[    9.410200] pnp 00:0e: [mem 0xfed00000-0xfed003ff]
[    9.414989] P: Adding info for pnp:00:0e
[    9.419042] pnp 00:0e: Plug and Play ACPI device, IDs PNP0103 (active)
[    9.425759] pnp: PnP ACPI: found 15 devices
[    9.429872] ACPI: ACPI bus type pnp unregistered
[    9.434579] P: Adding info for No Bus:mem
[    9.438730] P: Adding info for No Bus:null
[    9.442970] P: Adding info for No Bus:port
[    9.447221] P: Adding info for No Bus:zero
[    9.451460] P: Adding info for No Bus:full
[    9.455707] P: Adding info for No Bus:random
[    9.460134] P: Adding info for No Bus:urandom
[    9.464635] P: Adding info for No Bus:kmsg
[    9.468882] P: Adding info for No Bus:oldmem
[    9.473301] P: Adding info for No Bus:tty
[    9.477468] P: Adding info for No Bus:console
[    9.481966] P: Adding info for No Bus:tty0
[    9.486216] P: Adding info for No Bus:vcs
[    9.490380] P: Adding info for No Bus:vcsa
[    9.494621] P: Adding info for No Bus:vcs1
[    9.498865] P: Adding info for No Bus:vcsa1
[    9.503208] P: Adding info for No Bus:tty1
[    9.507447] P: Adding info for No Bus:tty2
[    9.511699] P: Adding info for No Bus:tty3
[    9.515938] P: Adding info for No Bus:tty4
[    9.520184] P: Adding info for No Bus:tty5
[    9.524430] P: Adding info for No Bus:tty6
[    9.528683] P: Adding info for No Bus:tty7
[    9.532923] P: Adding info for No Bus:tty8
[    9.537168] P: Adding info for No Bus:tty9
[    9.541418] P: Adding info for No Bus:tty10
[    9.545750] P: Adding info for No Bus:tty11
[    9.550090] P: Adding info for No Bus:tty12
[    9.554415] P: Adding info for No Bus:tty13
[    9.558749] P: Adding info for No Bus:tty14
[    9.563081] P: Adding info for No Bus:tty15
[    9.567421] P: Adding info for No Bus:tty16
[    9.571747] P: Adding info for No Bus:tty17
[    9.576080] P: Adding info for No Bus:tty18
[    9.580421] P: Adding info for No Bus:tty19
[    9.584751] P: Adding info for No Bus:tty20
[    9.589086] P: Adding info for No Bus:tty21
[    9.593415] P: Adding info for No Bus:tty22
[    9.597749] P: Adding info for No Bus:tty23
[    9.602086] P: Adding info for No Bus:tty24
[    9.606415] P: Adding info for No Bus:tty25
[    9.610747] P: Adding info for No Bus:tty26
[    9.615081] P: Adding info for No Bus:tty27
[    9.619414] P: Adding info for No Bus:tty28
[    9.623753] P: Adding info for No Bus:tty29
[    9.628081] P: Adding info for No Bus:tty30
[    9.632414] P: Adding info for No Bus:tty31
[    9.636747] P: Adding info for No Bus:tty32
[    9.641084] P: Adding info for No Bus:tty33
[    9.645413] P: Adding info for No Bus:tty34
[    9.649748] P: Adding info for No Bus:tty35
[    9.654079] P: Adding info for No Bus:tty36
[    9.658418] P: Adding info for No Bus:tty37
[    9.662746] P: Adding info for No Bus:tty38
[    9.667079] P: Adding info for No Bus:tty39
[    9.671416] P: Adding info for No Bus:tty40
[    9.675749] P: Adding info for No Bus:tty41
[    9.680079] P: Adding info for No Bus:tty42
[    9.684412] P: Adding info for No Bus:tty43
[    9.688744] P: Adding info for No Bus:tty44
[    9.693078] P: Adding info for No Bus:tty45
[    9.697416] P: Adding info for No Bus:tty46
[    9.701742] P: Adding info for No Bus:tty47
[    9.706076] P: Adding info for No Bus:tty48
[    9.710410] P: Adding info for No Bus:tty49
[    9.714748] P: Adding info for No Bus:tty50
[    9.719080] P: Adding info for No Bus:tty51
[    9.723411] P: Adding info for No Bus:tty52
[    9.727742] P: Adding info for No Bus:tty53
[    9.732082] P: Adding info for No Bus:tty54
[    9.736410] P: Adding info for No Bus:tty55
[    9.740743] P: Adding info for No Bus:tty56
[    9.745074] P: Adding info for No Bus:tty57
[    9.749417] P: Adding info for No Bus:tty58
[    9.753743] P: Adding info for No Bus:tty59
[    9.758074] P: Adding info for No Bus:tty60
[    9.762419] P: Adding info for No Bus:tty61
[    9.766740] P: Adding info for No Bus:tty62
[    9.771082] P: Adding info for No Bus:tty63
[    9.778843] P-Timer failed consistency check  (0x0xffffff) - aborting.
[    9.785404] pci 0000:00:01.0: PCI bridge to [bus 01-01]
[    9.790651] pci 0000:00:01.0:   bridge window [io  0xe000-0xefff]
[    9.796805] pci 0000:00:01.0:   bridge window [mem 0xfe500000-0xfe5fffff]
[    9.803651] pci 0000:00:01.0:   bridge window [mem pref disabled]
[    9.809806] pci 0000:00:1c.0: PCI bridge to [bus 02-02]
[    9.815088] pci 0000:00:1c.0:   bridge window [io  disabled]
[    9.820813] pci 0000:00:1c.0:   bridge window [mem disabled]
[    9.826529] pci 0000:00:1c.0:   bridge window [mem pref disabled]
[    9.832688] pci 0000:00:1c.4: PCI bridge to [bus 03-03]
[    9.837968] pci 0000:00:1c.4:   bridge window [io  0xd000-0xdfff]
[    9.844125] pci 0000:00:1c.4:   bridge window [mem 0xfe400000-0xfe4fffff]
[    9.850969] pci 0000:00:1c.4:   bridge window [mem pref disabled]
[    9.857133] xen: registering gsi 16 triggering 0 polarity 1
[    9.862764] xen: --> pirq=16 -> irq=16 (gsi=16)
[    9.867347] pci 0000:00:01.0: PCI INT A -> GSI 16 (level, low) -> IRQ 16
[    9.874108] pci 0000:00:01.0: setting latency timer to 64
[    9.879570] xen: registering gsi 17 triggering 0 polarity 1
[    9.885205] xen: --> pirq=17 -> irq=17 (gsi=17)
[    9.889792] pci 0000:00:1c.0: PCI INT A -> GSI 17 (level, low) -> IRQ 17
[    9.896556] pci 0000:00:1c.0: setting latency timer to 64
[    9.902017] xen: registering gsi 17 triggering 0 polarity 1
[    9.907645] xen_map_pirq_gsi: returning irq 17 for gsi 17
[    9.913103] xen: --> pirq=17 -> irq=17 (gsi=17)
[    9.917701] Already setup the GSI :17
[    9.921423] pci 0000:00:1c.4: PCI INT A -> GSI 17 (level, low) -> IRQ 17
[    9.928187] pci 0000:00:1c.4: setting latency timer to 64
[    9.933646] pci_bus 0000:00: resource 4 [io  0x0000-0x03af]
[    9.939275] pci_bus 0000:00: resource 5 [io  0x03e0-0x0cf7]
[    9.944908] pci_bus 0000:00: resource 6 [io  0x03b0-0x03df]
[    9.950540] pci_bus 0000:00: resource 7 [io  0x0d00-0xffff]
[    9.956176] pci_bus 0000:00: resource 8 [mem 0x000a0000-0x000bffff]
[    9.962502] pci_bus 0000:00: resource 9 [mem 0x000c0000-0x000dffff]
[    9.968828] pci_bus 0000:00: resource 10 [mem 0xbfa00000-0xffffffff]
[    9.975241] pci_bus 0000:01: resource 0 [io  0xe000-0xefff]
[    9.980874] pci_bus 0000:01: resource 1 [mem 0xfe500000-0xfe5fffff]
[    9.987199] pci_bus 0000:03: resource 0 [io  0xd000-0xdfff]
[    9.992832] pci_bus 0000:03: resource 1 [mem 0xfe400000-0xfe4fffff]
[    9.999225] NET: Registered protocol family 2
[   10.004564] IP route cache hash table entries: 524288 (order: 10, 4194304 bytes)
[   10.014058] TCP established hash table entries: 524288 (order: 11, 8388608 bytes)
[   10.022852] TCP bind hash table entries: 65536 (order: 8, 1048576 bytes)
[   10.029610] TCP: Hash tables configured (established 524288 bind 65536)
[   10.036134] TCP reno registered
[   10.039413] UDP hash table entries: 8192 (order: 6, 262144 bytes)
[   10.045610] UDP-Lite hash table entries: 8192 (order: 6, 262144 bytes)
[   10.052197] NET: Registered protocol family 1
[   10.056519] pci 0000:00:02.0: Boot video device
[   10.061200] PCI: CLS 64 bytes, default 64
[   10.065202] Trying to unpack rootfs image as initramfs...
[   10.405018] Freeing initrd memory: 500604k freed
[   10.495705] BUG: unable to handle kernel paging request at ffff880020000000
[   10.502573] IP: [<ffffffff8103d04c>] free_init_pages+0xfc/0x1e0
[   10.508554] PGD 1a04067 PUD 1a08067 PD 2177c067 PTE 0
[   10.513754] Oops: 0002 [#1] SP 
[   10.517047] last sysfs file: 
[   10.520081] CPU 0 
[   10.521900] odules linked in:
[   10.525280] 
[   10.526840] Pid: 1, comm: swapper Not tainted 2.6.39.3-xen-00413-gc5c0a5f #79 SI S-7680/H61-P23 (S-7680)
[   10.536719] RIP: e030:[<ffffffff8103d04c>]  [<ffffffff8103d04c>] free_init_pages+0xfc/0x1e0
[   10.545125] RSP: e02b:ffff8801d8ce5e60  EFLAGS: 00010246
[   10.550499] RAX: cccccccccccccccc RBX: ffff880020712000 RCX: 0000000000000200
[   10.557690] RDX: 0000000000001000 RSI: ffffea00006fffb8 RDI: ffff880020000000
[   10.564883] RBP: ffff8801d8ce5e90 R08: 0000000000000000 R09: ffff8801ec776988
[   10.572078] R10: 0000000000000000 R11: ffffea00006fd910 R12: ffff880020000000
[   10.579268] R13: ffffea0000000000 R14: cccccccccccccccc R15: 000000000001e8df
[   10.586465] FS:  0000000000000000(0000) GS:ffff8801ecad0000(0000) knlGS:0000000000000000
[   10.594610] CS:  e033 DS: 0000 ES: 0000 CR0: 000000008005003b
[   10.600416] CR2: ffff880020000000 CR3: 0000000001a03000 CR4: 0000000000002660
[   10.607609] DR0: 0000000000000000 DR1: 0000000000000000 DR2: 0000000000000000
[   10.614801] DR3: 0000000000000000 DR6: 00000000ffff0ff0 DR7: 0000000000000400
[   10.621995] Process swapper (pid: 1, threadinfo ffff8801d8ce4000, task ffff8801d8ce8000)
[   10.630141] Stack:
[   10.632221]  ffffffff81b11680 ffff880000000000 0000000000000000 ffffffff81acb57e
[   10.639674]  0000000000000000 0000000000000000 ffff8801d8ce5ea0 ffffffff8103d186
[   10.647127]  ffff8801d8ce5ec0 ffffffff81acb2de 0000000000000000 0000000000000000
[   10.654580] Call Trace:
[   10.657096]  [<ffffffff81acb57e>] ? unpack_to_rootfs+0x285/0x285
[   10.663161]  [<ffffffff8103d186>] free_initrd_mem+0x26/0x30
[   10.668795]  [<ffffffff81acb2de>] free_initrd+0x87/0xa2
[   10.674081]  [<ffffffff81acb64a>] populate_rootfs+0xcc/0xd3
[   10.679715]  [<ffffffff81002165>] do_one_initcall+0x45/0x190
[   10.685432]  [<ffffffff81ac8d23>] kernel_init+0xe0/0x165
[   10.690807]  [<ffffffff815e0c24>] kernel_thread_helper+0x4/0x10
[   10.696786]  [<ffffffff815dfd23>] ? int_ret_from_sys_call+0x7/0x1b
[   10.703028]  [<ffffffff815d7e61>] ? retint_restore_args+0x5/0x6
[   10.709006]  [<ffffffff815e0c20>] ? gs_change+0x13/0x13
[   10.714291] Code: cc cc cc cc cc cc cc cc eb 68 40 f6 c7 02 0f 85 ca 00 00 00 40 f6 c7 04 0f 85 d1 00 00 00 89 d1 4c 89 f0 c1 e9 03 f6 c2 04 89 c9 <f3> 48 ab 74 0a c7 07 cc cc cc cc 48 83 c7 04 f6 c2 02 74 09 66 
[   10.733182] RIP  [<ffffffff8103d04c>] free_init_pages+0xfc/0x1e0
[   10.739249]  RSP <ffff8801d8ce5e60>
[   10.742803] CR2: ffff880020000000
[   10.746187] ---[ end trace 44593438a59a9533 ]---
[   10.750920] Kernel panic - not syncing: Attempted to kill init!
[   10.756840] Pid: 1, comm: swapper Tainted: G      D     2.6.39.3-xen-00413-gc5c0a5f #79
[   10.764898] Call Trace:
[   10.767416]  [<ffffffff815d4816>] panic+0x91/0x19c
[   10.772267]  [<ffffffff81066b7f>] do_exit+0x83f/0x8b0
[   10.777381]  [<ffffffff81007cbf>] ? xen_restore_fl_direct_reloc+0x4/0x4
[   10.784052]  [<ffffffff815d8d70>] oops_end+0xb0/0xf0
[   10.789079]  [<ffffffff8103e388>] no_context+0xf8/0x260
[   10.794365]  [<ffffffff8103e615>] __bad_area_nosemaphore+0x125/0x1e0
[   10.800779]  [<ffffffff8103e6e3>] bad_area_nosemaphore+0x13/0x20
[   10.806845]  [<ffffffff815db77d>] do_page_fault+0x44d/0x540
[   10.812478]  [<ffffffff8100122a>] ? hypercall_page+0x22a/0x1000
[   10.818457]  [<ffffffff8100122a>] ? hypercall_page+0x22a/0x1000
[   10.824438]  [<ffffffff81122419>] ? __mod_zone_page_state+0x49/0x50
[   10.830765]  [<ffffffff8110eac3>] ? free_pcppages_bulk+0x2d3/0x450
[   10.837003]  [<ffffffff810075ed>] ? xen_force_evtchn_callback+0xd/0x10
[   10.843589]  [<ffffffff81007cd2>] ? check_events+0x12/0x20
[   10.849136]  [<ffffffff815d80d5>] page_fault+0x25/0x30
[   10.854335]  [<ffffffff8103d04c>] ? free_init_pages+0xfc/0x1e0
[   10.860229]  [<ffffffff81acb57e>] ? unpack_to_rootfs+0x285/0x285
[   10.866295]  [<ffffffff8103d186>] free_initrd_mem+0x26/0x30
[   10.871928]  [<ffffffff81acb2de>] free_initrd+0x87/0xa2
[   10.877215]  [<ffffffff81acb64a>] populate_rootfs+0xcc/0xd3
[   10.882848]  [<ffffffff81002165>] do_one_initcall+0x45/0x190
[   10.888568]  [<ffffffff81ac8d23>] kernel_init+0xe0/0x165
[   10.893941]  [<ffffffff815e0c24>] kernel_thread_helper+0x4/0x10
[   10.899920]  [<ffffffff815dfd23>] ? int_ret_from_sys_call+0x7/0x1b
[   10.906160]  [<ffffffff815d7e61>] ? retint_restore_args+0x5/0x6
[   10.912140]  [<ffffffff815e0c20>] ? gs_change+0x13/0x13
(XEN) Domain 0 crashed: rebooting machine in 5 seconds.
(XEN) Resetting with ACPI EORY or I/O RESET_REG.

(fixed) CONFIG_PROVE_LOCKING on AMD Phenom X6 (only!?) crashes

git commit f1c39625d63c9f8eba8f036429c10a9cb9e32920

mapping kernel into physical memory
about to get started...
[    0.000000] Initializing cgroup subsys cpuset
[    0.000000] Initializing cgroup subsys cpu
[    0.000000] Linux version 2.6.39.1-00222-g9a33d46 (konrad@phenom) (gcc version 4.4.4 20100503 (Red Hat 4.4.4-2) (GCC) ) #10 SP PREEPT Tue Jun 14 17:25:56 EDT 2011
[    0.000000] Command line: console=hvc0 debug earlyprintk=xenboot memblock=debug
[    0.000000] ACPI in unprivileged domain disabled
[    0.000000] released 0 pages of unused memory
[    0.000000] max_pfn: 0x80000, extra_pages: 2048
[    0.000000] balloon area will have 2048 pages.
[    0.000000] Set 0 page(s) to 1-1 mapping.
[    0.000000] BIOS-provided physical RA map:
[    0.000000]  Xen: 0000000000000000 - 00000000000a0000 (usable)
[    0.000000]  Xen: 00000000000a0000 - 0000000000100000 (reserved)
[    0.000000]  Xen: 0000000000100000 - 0000000080000000 (usable)
[    0.000000]  Xen: 0000000100000000 - 0000000100800000 (usable)
[    0.000000] bootconsole [xenboot0] enabled
[    0.000000] NX (Execute Disable) protection: active
[    0.000000] DI not present or invalid.
[    0.000000] e820 update range: 0000000000000000 - 0000000000010000 (usable) ==> (reserved)
[    0.000000] e820 remove range: 00000000000a0000 - 0000000000100000 (usable)
[    0.000000] No AGP bridge found
[    0.000000] last_pfn = 0x100800 max_arch_pfn = 0x400000000
[    0.000000] last_pfn = 0x80000 max_arch_pfn = 0x400000000
[    0.000000]     memblock_x86_reserve_range: [0x026b9000-0x026cbfff]              BRK
[    0.000000] EBLOCK configuration:
[    0.000000]  memory size = 0x80790000
[    0.000000]  memory.cnt  = 0x3
[    0.000000]  memory[0x0]	[0x00000000010000-0x0000000009ffff], 0x90000 bytes
[    0.000000]  memory[0x1]	[0x00000000100000-0x0000007fffffff], 0x7ff00000 bytes
[    0.000000]  memory[0x2]	[0x00000100000000-0x000001007fffff], 0x800000 bytes
[    0.000000]  reserved.cnt  = 0x3
[    0.000000]  reserved[0x0]	[0x00000001000000-0x000000026cbfff], 0x16cc000 bytes
[    0.000000]  reserved[0x1]	[0x000000027ef000-0x0000001687efff], 0x14090000 bytes
[    0.000000]  reserved[0x2]	[0x00000100000000-0x000001007fffff], 0x800000 bytes
[    0.000000] initial memory mapped : 0 - 163c3000
[    0.000000]     memblock_x86_reserve_range: [0x0009b000-0x0009ffff]       TRAPOLINE
[    0.000000] Base memory trampoline at [ffff88000009b000] 9b000 size 20480
[    0.000000] init_memory_mapping: 0000000000000000-0000000080000000
[    0.000000]  0000000000 - 0080000000 page 4k
[    0.000000] kernel direct mapping tables up to 80000000 @ 7fbfd000-80000000
[    0.000000]     memblock_x86_reserve_range: [0x7fbfd000-0x7ff43fff]          PGTABLE
[    0.000000] xen: setting RW the range 7ff44000 - 80000000
[    0.000000] init_memory_mapping: 0000000100000000-0000000100800000
[    0.000000]  0100000000 - 0100800000 page 4k
[    0.000000] kernel direct mapping tables up to 100800000 @ 7f3f3000-7fbfd000
[    0.000000]     memblock_x86_reserve_range: [0x7f3f3000-0x7f3f7fff]          PGTABLE
[    0.000000] xen: setting RW the range 7f3f8000 - 7fbfd000
[    0.000000] RADISK: 027ef000 - 163c3000
[    0.000000] No NUA configuration found
[    0.000000] Faking a node at 0000000000000000-0000000100800000
[    0.000000] NUA: Using 63 for the hash shift.
[    0.000000] Initmem setup node 0 0000000000000000-0000000100800000
[    0.000000]     memblock_x86_reserve_range: [0x7ffd9000-0x7fffffff]        NODE_DATA
[    0.000000]   NODE_DATA [000000007ffd9000 - 000000007fffffff]
[    0.000000]     memblock_x86_reserve_range: [0x7ffd8000-0x7ffd8fff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7f7fd000-0x7fbfcfff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffd7e40-0x7ffd7fd7]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7f3fd000-0x7f7fcfff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7d000000-0x7f1fffff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffd6000-0x7ffd6fff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffd5000-0x7ffd5fff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffd4000-0x7ffd4fff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffd3000-0x7ffd3fff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffd2000-0x7ffd2fff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffd1000-0x7ffd1fff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffd0000-0x7ffd0fff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffcf000-0x7ffcffff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffce000-0x7ffcefff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffcd000-0x7ffcdfff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffcc000-0x7ffccfff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffcb000-0x7ffcbfff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffca000-0x7ffcafff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffc9000-0x7ffc9fff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffc8000-0x7ffc8fff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffc7000-0x7ffc7fff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ffc6000-0x7ffc6fff]          BOOTE
[    0.000000]        memblock_x86_free_range: [0x7edc0000-0x7f1fffff]
[    0.000000]        memblock_x86_free_range: [0x7f3fd000-0x7f7fcfff]
[    0.000000]        memblock_x86_free_range: [0x7f7fd000-0x7fbfcfff]
[    0.000000] Zone PFN ranges:
[    0.000000]   DA      0x00000010 -> 0x00001000
[    0.000000]   DA32    0x00001000 -> 0x00100000
[    0.000000]   Normal   0x00100000 -> 0x00100800
[    0.000000] ovable zone start PFN for each node
[    0.000000] early_node_map[3] active PFN ranges
[    0.000000]     0: 0x00000010 -> 0x000000a0
[    0.000000]     0: 0x00000100 -> 0x00080000
[    0.000000]     0: 0x00100000 -> 0x00100800
[    0.000000] On node 0 totalpages: 526224
[    0.000000]   DA zone: 56 pages used for memmap
[    0.000000]   DA zone: 5 pages reserved
[    0.000000]   DA zone: 3923 pages, LIFO batch:0
[    0.000000]     memblock_x86_reserve_range: [0x7ffd79c0-0x7ffd7e3f]          BOOTE
[    0.000000]   DA32 zone: 14280 pages used for memmap
[    0.000000]   DA32 zone: 505912 pages, LIFO batch:31
[    0.000000]     memblock_x86_reserve_range: [0x7ff7e000-0x7ffc5fff]          BOOTE
[    0.000000]   Normal zone: 28 pages used for memmap
[    0.000000]   Normal zone: 2020 pages, LIFO batch:0
[    0.000000]     memblock_x86_reserve_range: [0x7ffd7780-0x7ffd79bf]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ff7d000-0x7ff7dfff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ff7c000-0x7ff7cfff]          BOOTE
[    0.000000]     memblock_x86_reserve_range: [0x7ff7b000-0x7ff7bfff]          BOOTE
[    0.000000] BUG: unable to handle kernel NULL pointer dereference at           (null)
[    0.000000] IP: [<ffffffff8102eb73>] xen_set_pte+0x4c/0x56
[    0.000000] PGD 0 
[    0.000000] Oops: 0003 [#1] PREEPT SP 
[    0.000000] last sysfs file: 
[    0.000000] CPU 0 
[    0.000000] odules linked in:
[    0.000000] 
[    0.000000] Pid: 0, comm: swapper Not tainted 2.6.39.1-00222-g9a33d46 #10  
[    0.000000] RIP: e030:[<ffffffff8102eb73>]  [<ffffffff8102eb73>] xen_set_pte+0x4c/0x56
[    0.000000] RSP: e02b:ffffffff81a01e38  EFLAGS: 00010096
[    0.000000] RAX: 00000000ffffffff RBX: ffff88007ff7b000 RCX: 000000006bed2067
[    0.000000] RDX: 0000000010000001 RSI: 0000000212d39065 RDI: ffff88007ff7b000
[    0.000000] RBP: ffffffff81a01e58 R08: ffffffff8102d94d R09: ffffffff8102d94d
[    0.000000] R10: ffffffff8102d94d R11: ffffffff8102d94d R12: 0000000212d39065
[    0.000000] R13: 0000000080000000 R14: ffffffffffffffff R15: 00000000163c3000
[    0.000000] FS:  0000000000000000(0000) GS:ffffffff81ace000(0000) knlGS:0000000000000000
[    0.000000] CS:  e033 DS: 0000 ES: 0000 CR0: 0000000080050033
[    0.000000] CR2: 0000000000000000 CR3: 0000000001a03000 CR4: 0000000000000660
[    0.000000] DR0: 0000000000000000 DR1: 0000000000000000 DR2: 0000000000000000
[    0.000000] DR3: 0000000000000000 DR6: 00000000ffff0ff0 DR7: 0000000000000400
[    0.000000] Process swapper (pid: 0, threadinfo ffffffff81a00000, task ffffffff81a0b020)
[    0.000000] Stack:
[    0.000000]  ffffffff81a01e58 ffffffffff600000 ffffffffff600000 0000000212d39065
[    0.000000]  ffffffff81a01e78 ffffffff8105dae6 00000000007ff000 ffff8800163c3000
[    0.000000]  ffffffff81a01ea8 ffffffff8102e9eb ffff8800163c3000 0000000212d39065
[    0.000000] Call Trace:
[    0.000000]  [<ffffffff8105dae6>] set_pte_vaddr_pud+0x39/0x48
[    0.000000]  [<ffffffff8102e9eb>] xen_set_fixmap+0xfa/0x101
[    0.000000]  [<ffffffff81aeba6d>] map_vsyscall+0x23/0x25
[    0.000000]  [<ffffffff81aeb3c9>] setup_arch+0xa90/0xb72
[    0.000000]  [<ffffffff814b4833>] ? printk+0x3c/0x3e
[    0.000000]  [<ffffffff81ae59b9>] start_kernel+0xe2/0x3f9
[    0.000000]  [<ffffffff81ae52cd>] x86_64_start_reservations+0xb8/0xbc
[    0.000000]  [<ffffffff81ae87b2>] xen_start_kernel+0x59b/0x5a2
[    0.000000] Code: df e8 82 2a 03 00 48 89 c7 e8 21 ef ff ff 48 8d 7d e0 48 89 45 e0 4c 89 65 e8 e8 8b fe ff ff bf 01 00 00 00 e8 99 f7 ff ff eb 03 <4c> 89 23 5a 59 5b 41 5c c9 c3 55 48 89 ce 48 89 d7 48 89 e5 e8 
[    0.000000] RIP  [<ffffffff8102eb73>] xen_set_pte+0x4c/0x56
[    0.000000]  RSP <ffffffff81a01e38>
[    0.000000] CR2: 0000000000000000
[    0.000000] ---[ end trace a7919e7f17c0a725 ]---
[    0.000000] Kernel panic - not syncing: Attempted to kill the idle task!
[    0.000000] Pid: 0, comm: swapper Tainted: G      D     2.6.39.1-00222-g9a33d46 #10
[    0.000000] Call Trace:
[    0.000000]  [<ffffffff814b46df>] panic+0x96/0x1ae
[    0.000000]  [<ffffffff81079c61>] do_exit+0xb3/0x818
[    0.000000]  [<ffffffff8107681e>] ? kmsg_dump+0x83/0x132
[    0.000000]  [<ffffffff814b87bc>] oops_end+0xbf/0xc7
[    0.000000]  [<ffffffff8105e259>] no_context+0x1f7/0x206
[    0.000000]  [<ffffffff8102f7fb>] ? __raw_callee_save_xen_restore_fl+0x11/0x1e
[    0.000000]  [<ffffffff8105e3fe>] __bad_area_nosemaphore+0x196/0x1b9
[    0.000000]  [<ffffffff8102f7fb>] ? __raw_callee_save_xen_restore_fl+0x11/0x1e
[    0.000000]  [<ffffffff8105e42f>] bad_area_nosemaphore+0xe/0x10
[    0.000000]  [<ffffffff814ba1e8>] do_page_fault+0x192/0x34b
[    0.000000]  [<ffffffff8102f7dd>] ? __raw_callee_save_xen_save_fl+0x11/0x1e
[    0.000000]  [<ffffffff8102f7dd>] ? __raw_callee_save_xen_save_fl+0x11/0x1e
[    0.000000]  [<ffffffff8102d94d>] ? pte_pfn_to_mfn+0x2b/0x7e
[    0.000000]  [<ffffffff8102d94d>] ? pte_pfn_to_mfn+0x2b/0x7e
[    0.000000]  [<ffffffff8102d94d>] ? pte_pfn_to_mfn+0x2b/0x7e
[    0.000000]  [<ffffffff8102d94d>] ? pte_pfn_to_mfn+0x2b/0x7e
[    0.000000]  [<ffffffff814b7d86>] ? error_sti+0x5/0x6
[    0.000000]  [<ffffffff814b78c8>] ? restore_args+0x30/0x30
[    0.000000]  [<ffffffff810a1be0>] ? trace_hardirqs_off_caller+0x2f/0x89
[    0.000000]  [<ffffffff812436ad>] ? trace_hardirqs_off_thunk+0x3a/0x3c
[    0.000000]  [<ffffffff8102d94d>] ? pte_pfn_to_mfn+0x2b/0x7e
[    0.000000]  [<ffffffff8102d94d>] ? pte_pfn_to_mfn+0x2b/0x7e
[    0.000000]  [<ffffffff8102d94d>] ? pte_pfn_to_mfn+0x2b/0x7e
[    0.000000]  [<ffffffff8102d94d>] ? pte_pfn_to_mfn+0x2b/0x7e
[    0.000000]  [<ffffffff814b7b45>] page_fault+0x25/0x30
[    0.000000]  [<ffffffff8102d94d>] ? pte_pfn_to_mfn+0x2b/0x7e
[    0.000000]  [<ffffffff8102d94d>] ? pte_pfn_to_mfn+0x2b/0x7e
[    0.000000]  [<ffffffff8102d94d>] ? pte_pfn_to_mfn+0x2b/0x7e
[    0.000000]  [<ffffffff8102d94d>] ? pte_pfn_to_mfn+0x2b/0x7e
[    0.000000]  [<ffffffff8102eb73>] ? xen_set_pte+0x4c/0x56
[    0.000000]  [<ffffffff8102eb3d>] ? xen_set_pte+0x16/0x56
[    0.000000]  [<ffffffff8105dae6>] set_pte_vaddr_pud+0x39/0x48
[    0.000000]  [<ffffffff8102e9eb>] xen_set_fixmap+0xfa/0x101
[    0.000000]  [<ffffffff81aeba6d>] map_vsyscall+0x23/0x25
[    0.000000]  [<ffffffff81aeb3c9>] setup_arch+0xa90/0xb72
[    0.000000]  [<ffffffff814b4833>] ? printk+0x3c/0x3e
[    0.000000]  [<ffffffff81ae59b9>] start_kernel+0xe2/0x3f9
[    0.000000]  [<ffffffff81ae52cd>] x86_64_start_reservations+0xb8/0xbc
[    0.000000]  [<ffffffff81ae87b2>] xen_start_kernel+0x59b/0x5a2