Linux 3.0 bugs impacting Xen

From Xen
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.


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