[    1.128275] cpuidle: using governor menu
[    1.132343] acpiphp: ACPI Hot Plug PCI Controller Driver version: 0.5
[    1.136969] PCI: Using configuration type 1 for base access
[    1.140584] kprobes: kprobe jump-optimization is enabled. All kprobes are optimized if possible.
[    1.144650] HugeTLB: registered 2.00 MiB page size, pre-allocated 0 pages
[    1.148370] HugeTLB: 28 KiB vmemmap can be freed for a 2.00 MiB page
[    1.164105] ACPI: Added _OSI(Module Device)
[    1.167247] ACPI: Added _OSI(Processor Device)
[    1.171239] ACPI: Added _OSI(3.0 _SCP Extensions)
[    1.175240] ACPI: Added _OSI(Processor Aggregator Device)
[    1.183518] ACPI: 3 ACPI AML tables successfully acquired and loaded
[    1.193071] xen: --> pirq=16 -> irq=9 (gsi=9)
[    1.193430] ACPI: _OSC evaluation for CPUs failed, trying _PDC
[    1.196853] ACPI: Interpreter enabled
[    1.200272] ACPI: PM: (supports S0 S3 S4 S5)
[    1.208299] ACPI: Using IOAPIC for interrupt routing
[    1.212482] PCI: Using host bridge windows from ACPI; if necessary, use "pci=nocrs" and report a bug
[    1.220655] PCI: Using E820 reservations for host bridge windows
[    1.228775] ACPI: Enabled 2 GPEs in block 00 to 0F
[    1.257910] ACPI: PCI Root Bridge [PCI0] (domain 0000 [bus 00-ff])
[    1.264729] acpi PNP0A03:00: _OSC: OS supports [ASPM ClockPM Segments MSI HPX-Type3]
[    1.276947] acpi PNP0A03:00: _OSC: not requesting OS control; OS requires [ExtendedConfig ASPM ClockPM MSI]
[    1.288931] acpi PNP0A03:00: fail to add MMCONFIG information, can't access extended configuration space under this bridge
[    1.305894] acpiphp: Slot [0] registered
[    1.310469] acpiphp: Slot [3] registered
[    1.317136] acpiphp: Slot [4] registered
[    1.321088] acpiphp: Slot [5] registered
[    1.328954] acpiphp: Slot [6] registered
[    1.332819] acpiphp: Slot [7] registered
[    1.336579] acpiphp: Slot [8] registered
[    1.340427] acpiphp: Slot [9] registered
[    1.344560] acpiphp: Slot [10] registered
[    1.348592] acpiphp: Slot [11] registered
[    1.352685] acpiphp: Slot [12] registered
[    1.356473] acpiphp: Slot [13] registered
[    1.364505] acpiphp: Slot [14] registered
[    1.368473] acpiphp: Slot [15] registered
[    1.372473] acpiphp: Slot [16] registered
[    1.376495] acpiphp: Slot [17] registered
[    1.380553] acpiphp: Slot [18] registered
[    1.384464] acpiphp: Slot [19] registered
[    1.388564] acpiphp: Slot [20] registered
[    1.392434] acpiphp: Slot [21] registered
[    1.396547] acpiphp: Slot [22] registered
[    1.400497] acpiphp: Slot [23] registered
[    1.404408] acpiphp: Slot [24] registered
[    1.408485] acpiphp: Slot [25] registered
[    1.412483] acpiphp: Slot [26] registered
[    1.416497] acpiphp: Slot [27] registered
[    1.429162] acpiphp: Slot [28] registered
[    1.436847] acpiphp: Slot [29] registered
[    1.440783] acpiphp: Slot [30] registered
[    1.444850] acpiphp: Slot [31] registered
[    1.448899] PCI host bridge to bus 0000:00
[    1.452321] pci_bus 0000:00: root bus resource [io  0x0000-0x0cf7 window]
[    1.460462] pci_bus 0000:00: root bus resource [io  0x0d00-0xffff window]
[    1.464529] pci_bus 0000:00: root bus resource [mem 0x000a0000-0x000bffff window]
[    1.472509] pci_bus 0000:00: root bus resource [mem 0xf0000000-0xfbffffff window]
[    1.480677] pci_bus 0000:00: root bus resource [bus 00-ff]
[    1.488891] pci 0000:00:00.0: [8086:1237] type 00 class 0x060000
[    1.495737] pci 0000:00:01.0: [8086:7000] type 00 class 0x060100
[    1.502959] pci 0000:00:01.1: [8086:7010] type 00 class 0x010180
[    1.510955] pci 0000:00:01.1: reg 0x20: [io  0xc100-0xc10f]
[    1.517638] pci 0000:00:01.1: legacy IDE quirk: reg 0x10: [io  0x01f0-0x01f7]
[    1.524457] pci 0000:00:01.1: legacy IDE quirk: reg 0x14: [io  0x03f6]
[    1.532575] pci 0000:00:01.1: legacy IDE quirk: reg 0x18: [io  0x0170-0x0177]
[    1.540212] pci 0000:00:01.1: legacy IDE quirk: reg 0x1c: [io  0x0376]
[    1.545018] * Found PM-Timer Bug on the chipset. Due to workarounds for a bug,
               * this clock source is slow. Consider trying other clock sources
[    1.561073] pci 0000:00:01.3: acpi_pm_check_blacklist+0x0/0x50 took 15625 usecs
[    1.568526] pci 0000:00:01.3: [8086:7113] type 00 class 0x068000
[    1.579206] pci 0000:00:01.3: quirk: [io  0xb000-0xb03f] claimed by PIIX4 ACPI
[    1.586297] pci 0000:00:02.0: [1013:00b8] type 00 class 0x030000
[    1.593394] pci 0000:00:02.0: reg 0x10: [mem 0xf0000000-0xf1ffffff pref]
[    1.600923] pci 0000:00:02.0: reg 0x14: [mem 0xf3000000-0xf3000fff]
[    1.610762] pci 0000:00:02.0: Video device with shadowed ROM at [mem 0x000c0000-0x000dffff]
[    1.621789] pci 0000:00:03.0: [5853:0001] type 00 class 0xff8000
[    1.629238] pci 0000:00:03.0: reg 0x10: [io  0xc000-0xc0ff]
[    1.636965] pci 0000:00:03.0: reg 0x14: [mem 0xf2000000-0xf2ffffff pref]
[    1.650157] ACPI: PCI: Interrupt link LNKA configured for IRQ 5
[    1.656968] ACPI: PCI: Interrupt link LNKB configured for IRQ 10
[    1.660737] ACPI: PCI: Interrupt link LNKC configured for IRQ 11
[    1.668966] ACPI: PCI: Interrupt link LNKD configured for IRQ 5
[    1.688923] xen:balloon: Initialising balloon driver
[    1.696512] iommu: Default domain type: Translated
[    1.700373] iommu: DMA domain TLB invalidation policy: lazy mode
[    1.708630] pps_core: LinuxPPS API ver. 1 registered
[    1.712389] pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti <giometti@linux.it>
[    1.724557] PTP clock support registered
[    1.727492] NetLabel: Initializing
[    1.730225] NetLabel:  domain hash size = 128
[    1.732022] NetLabel:  protocols = UNLABELED CIPSOv4 CALIPSO
[    1.736098] NetLabel:  unlabeled traffic allowed by default
[    1.740079] PCI: Using ACPI for IRQ routing
[    1.743240] PCI: pci_cache_line_size set to 64 bytes
[    1.744121] e820: reserve RAM buffer [mem 0x0009e000-0x0009ffff]
[    1.747290] pci 0000:00:02.0: vgaarb: setting as boot VGA device
[    1.751231] pci 0000:00:02.0: vgaarb: bridge control possible
[    1.751231] pci 0000:00:02.0: vgaarb: VGA device added: decodes=io+mem,owns=io+mem,locks=none
[    1.759244] vgaarb: loaded