linux-efi.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* [GIT PULL] EFI urgent fix for v4.6 queue
@ 2016-03-11 11:19 Matt Fleming
       [not found] ` <1457695163-29632-1-git-send-email-matt-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
  0 siblings, 1 reply; 15+ messages in thread
From: Matt Fleming @ 2016-03-11 11:19 UTC (permalink / raw)
  To: Ingo Molnar, H . Peter Anvin, Thomas Gleixner
  Cc: Ard Biesheuvel, Matt Fleming,
	linux-kernel-u79uwXL29TY76Z2rM5mHXA,
	linux-efi-u79uwXL29TY76Z2rM5mHXA, Alexis Murzeau, Ben Hutchings,
	Borislav Petkov, Maarten Lankhorst, Matthew Garrett,
	Raphael Hertzog, Roger Shimizu

Folks, the following patch fixes a bug that is triggered with the new
EFI page table code sitting in tip/efi/core and queued up for the
merge window.

It turns out that we were relying on the kernel's mappings for those
regions that are marked E820_RESERVED, etc in the e820 map. The
specific example in the bug report was page zero which was always
"special" on legacy BIOS.

On EFI, legitimate code/data can be placed there and so if it's part
of the EFI memory map, we must make sure we map it into the EFI page
tables. EFI runtime drivers may need to access it.

The following changes since commit 2ad510dc372c2caac9aada9ff6dd10e787616e1d:

  x86/efi: Only map kernel text for EFI mixed mode (2016-02-22 08:26:28 +0100)

are available in the git repository at:

  git://git.kernel.org/pub/scm/linux/kernel/git/mfleming/efi.git tags/efi-urgent

for you to fetch changes up to c7af05d993ef60102eea6e0056de7eb5f6d4e52d:

  x86/efi: Always map boot service regions into new EFI page tables (2016-03-11 11:08:36 +0000)

----------------------------------------------------------------
 * Fix a bug triggered with the new separate EFI page table code where
   EFI boot services regions that are marked E820_RESERVED are not
   mapped into the page tables, leading to an oops during
   SetVirtualAddressMap() - Matt Fleming

----------------------------------------------------------------
Matt Fleming (1):
      x86/efi: Always map boot service regions into new EFI page tables

 arch/x86/platform/efi/quirks.c | 79 +++++++++++++++++++++++++++++++++---------
 1 file changed, 62 insertions(+), 17 deletions(-)

^ permalink raw reply	[flat|nested] 15+ messages in thread

* [PATCH] x86/efi: Always map boot service regions into new EFI page tables
       [not found] ` <1457695163-29632-1-git-send-email-matt-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
@ 2016-03-11 11:19   ` Matt Fleming
  2016-03-13 17:09     ` Scott Ashcroft
  0 siblings, 1 reply; 15+ messages in thread
From: Matt Fleming @ 2016-03-11 11:19 UTC (permalink / raw)
  To: Ingo Molnar, H . Peter Anvin, Thomas Gleixner
  Cc: Ard Biesheuvel, Matt Fleming,
	linux-kernel-u79uwXL29TY76Z2rM5mHXA,
	linux-efi-u79uwXL29TY76Z2rM5mHXA, Maarten Lankhorst,
	Matthew Garrett, Borislav Petkov, Ben Hutchings, Raphael Hertzog,
	Roger Shimizu, Alexis Murzeau

Some machines have EFI regions in page zero (physical address
0x00000000) and historically that region has been added to the e820
map via trim_bios_range(), and ultimately mapped into the kernel page
tables. It was not mapped via efi_map_regions() as one would expect.

Alexis reports that with the new separate EFI page tables some boot
services regions, such as page zero, are not mapped. This triggers an
oops during the SetVirtualAddressMap() runtime call.

For the EFI boot services quirk on x86 we need to memblock_reserve()
boot services regions until after SetVirtualAddressMap(). Doing that
while respecting the ownership of regions that may have already been
reserved by the kernel was the motivation behind commit 7d68dc3f1003
("x86, efi: Do not reserve boot services regions within reserved
areas").

That patch was merged at a time when the EFI runtime virtual mappings
were inserted into the kernel page tables as described above, and the
trick of setting ->numpages (and hence the region size) to zero to
track regions that should not be freed in efi_free_boot_services()
meant that we never mapped those regions in efi_map_regions(). Instead
we were relying solely on the existing kernel mappings.

Now that we have separate page tables we need to make sure the EFI
boot services regions are mapped correctly, even if someone else has
already called memblock_reserve(). Instead of stashing a tag in
->numpages, set the EFI_MEMORY_RUNTIME bit of ->attribute. Since it
generally makes no sense to mark a boot services region as required at
runtime, it's pretty much guaranteed the firmware will not have
already set this bit.

For the record, the specific circumstances under which Alexis
triggered this bug was that an EFI runtime driver on his machine was
responding to the EVT_SIGNAL_VIRTUAL_ADDRESS_CHANGE event during
SetVirtualAddressMap().

The event handler for this driver looks like this,

  sub rsp,0x28
  lea rdx,[rip+0x2445] # 0xaa948720
  mov ecx,0x4
  call func_aa9447c0  ; call to ConvertPointer(4, & 0xaa948720)
  mov r11,QWORD PTR [rip+0x2434] # 0xaa948720
  xor eax,eax
  mov BYTE PTR [r11+0x1],0x1
  add rsp,0x28
  ret

Which is pretty typical code for an EVT_SIGNAL_VIRTUAL_ADDRESS_CHANGE
handler. The "mov r11, QWORD PTR [rip+0x2424]" was the faulting
instruction because ConvertPointer() was being called to convert the
address 0x0000000000000000, which when converted is left unchanged and
remains 0x0000000000000000.

The output of the oops trace gave the impression of a standard NULL
pointer dereference bug, but because we're accessing physical
addresses during ConvertPointer(), it wasn't. EFI boot services code
is stored at that address on Alexis' machine.

Reported-by: Alexis Murzeau <amurzeau-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
Link: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=815125
Cc: Maarten Lankhorst <maarten.lankhorst-Z7WLFzj8eWMS+FvcfC7Uqw@public.gmane.org>
Cc: Matthew Garrett <mjg59-1xO5oi07KQx4cg9Nei1l7Q@public.gmane.org>
Cc: Borislav Petkov <bp-Gina5bIWoIWzQB+pC5nmwQ@public.gmane.org>
Cc: Ingo Molnar <mingo-DgEjT+Ai2ygdnm+yROfE0A@public.gmane.org>
Cc: Ben Hutchings <ben-/+tVBieCtBitmTQ+vhA3Yw@public.gmane.org>
Cc: Raphael Hertzog <hertzog-8fiUuRrzOP0dnm+yROfE0A@public.gmane.org>
Cc: Roger Shimizu <rogershimizu-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
Signed-off-by: Matt Fleming <matt-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
---
 arch/x86/platform/efi/quirks.c | 79 +++++++++++++++++++++++++++++++++---------
 1 file changed, 62 insertions(+), 17 deletions(-)

diff --git a/arch/x86/platform/efi/quirks.c b/arch/x86/platform/efi/quirks.c
index 2326bf51978f..da35f957d4ed 100644
--- a/arch/x86/platform/efi/quirks.c
+++ b/arch/x86/platform/efi/quirks.c
@@ -164,6 +164,27 @@ efi_status_t efi_query_variable_store(u32 attributes, unsigned long size,
 EXPORT_SYMBOL_GPL(efi_query_variable_store);
 
 /*
+ * Helper function for efi_reserve_boot_services() to figure out if we
+ * can free regions in efi_free_boot_services().
+ *
+ * Use this function to ensure we do not free regions owned by somebody
+ * else. We must only reserve (and then free) regions:
+ *
+ * - Not within any part of the kernel
+ * - Not the bios reserved area (E820_RESERVED, E820_NVS, etc)
+ */
+static bool can_free_region(u64 start, u64 size)
+{
+	if (start + size > __pa_symbol(_text) && start <= __pa_symbol(_end))
+		return false;
+
+	if (!e820_all_mapped(start, start+size, E820_RAM))
+		return false;
+
+	return true;
+}
+
+/*
  * The UEFI specification makes it clear that the operating system is free to do
  * whatever it wants with boot services code after ExitBootServices() has been
  * called. Ignoring this recommendation a significant bunch of EFI implementations 
@@ -180,26 +201,50 @@ void __init efi_reserve_boot_services(void)
 		efi_memory_desc_t *md = p;
 		u64 start = md->phys_addr;
 		u64 size = md->num_pages << EFI_PAGE_SHIFT;
+		bool already_reserved;
 
 		if (md->type != EFI_BOOT_SERVICES_CODE &&
 		    md->type != EFI_BOOT_SERVICES_DATA)
 			continue;
-		/* Only reserve where possible:
-		 * - Not within any already allocated areas
-		 * - Not over any memory area (really needed, if above?)
-		 * - Not within any part of the kernel
-		 * - Not the bios reserved area
-		*/
-		if ((start + size > __pa_symbol(_text)
-				&& start <= __pa_symbol(_end)) ||
-			!e820_all_mapped(start, start+size, E820_RAM) ||
-			memblock_is_region_reserved(start, size)) {
-			/* Could not reserve, skip it */
-			md->num_pages = 0;
-			memblock_dbg("Could not reserve boot range [0x%010llx-0x%010llx]\n",
-				     start, start+size-1);
-		} else
+
+		already_reserved = memblock_is_region_reserved(start, size);
+
+		/*
+		 * Because the following memblock_reserve() is paired
+		 * with free_bootmem_late() for this region in
+		 * efi_free_boot_services(), we must be extremely
+		 * careful not to reserve, and subsequently free,
+		 * critical regions of memory (like the kernel image) or
+		 * those regions that somebody else has already
+		 * reserved.
+		 *
+		 * A good example of a critical region that must not be
+		 * freed is page zero (first 4Kb of memory), which may
+		 * contain boot services code/data but is marked
+		 * E820_RESERVED by trim_bios_range().
+		 */
+		if (!already_reserved) {
 			memblock_reserve(start, size);
+
+			/*
+			 * If we are the first to reserve the region, no
+			 * one else cares about it. We own it and can
+			 * free it later.
+			 */
+			if (can_free_region(start, size))
+				continue;
+		}
+
+		/*
+		 * We don't own the region. We must not free it.
+		 *
+		 * Setting this bit for a boot services region really
+		 * doesn't make sense as far as the firmware is
+		 * concerned, but it does provide us with a way to tag
+		 * those regions that must not be paired with
+		 * free_bootmem_late().
+		 */
+		md->attribute |= EFI_MEMORY_RUNTIME;
 	}
 }
 
@@ -216,8 +261,8 @@ void __init efi_free_boot_services(void)
 		    md->type != EFI_BOOT_SERVICES_DATA)
 			continue;
 
-		/* Could not reserve boot area */
-		if (!size)
+		/* Do not free, someone else owns it */
+		if (md->attribute & EFI_MEMORY_RUNTIME)
 			continue;
 
 		free_bootmem_late(start, size);
-- 
2.6.2

^ permalink raw reply related	[flat|nested] 15+ messages in thread

* Re: [PATCH] x86/efi: Always map boot service regions into new EFI page tables
  2016-03-11 11:19   ` [PATCH] x86/efi: Always map boot service regions into new EFI page tables Matt Fleming
@ 2016-03-13 17:09     ` Scott Ashcroft
       [not found]       ` <1457888975.3884.9.camel-qw6QB7/foO7QT0dZR+AlfA@public.gmane.org>
  0 siblings, 1 reply; 15+ messages in thread
From: Scott Ashcroft @ 2016-03-13 17:09 UTC (permalink / raw)
  To: Matt Fleming, Ingo Molnar, H . Peter Anvin, Thomas Gleixner
  Cc: Ard Biesheuvel, linux-kernel, linux-efi, Maarten Lankhorst,
	Matthew Garrett, Borislav Petkov, Ben Hutchings, Raphael Hertzog,
	Roger Shimizu, Alexis Murzeau

[-- Attachment #1: Type: text/plain, Size: 781 bytes --]

On Fri, 2016-03-11 at 11:19 +0000, Matt Fleming wrote:
> Some machines have EFI regions in page zero (physical address
> 0x00000000) and historically that region has been added to the e820
> map via trim_bios_range(), and ultimately mapped into the kernel page
> tables. It was not mapped via efi_map_regions() as one would expect.
> 
> Alexis reports that with the new separate EFI page tables some boot
> services regions, such as page zero, are not mapped. This triggers an
> oops during the SetVirtualAddressMap() runtime call.


I'm still seeing a failure to boot even with this patch.

http://www.qzxyz.com/IMG_20160313_164601.jpgSorry for the dodgy photo but the screen has almost a mirror finish.

Attached is the dmesg from 4.4 with efi=debug memblock=debug

Cheers,
Scott

[-- Attachment #2: dmesg.txt --]
[-- Type: text/plain, Size: 77068 bytes --]

[    0.000000] Initializing cgroup subsys cpuset
[    0.000000] Initializing cgroup subsys cpu
[    0.000000] Initializing cgroup subsys cpuacct
[    0.000000] Linux version 4.4.0-trunk-amd64 (debian-kernel@lists.debian.org) (gcc version 5.3.1 20160114 (Debian 5.3.1-6) ) #1 SMP Debian 4.4-1~exp1 (2016-01-19)
[    0.000000] Command line: BOOT_IMAGE=/boot/vmlinuz-4.4.0-trunk-amd64 root=UUID=4026c556-6239-4eb1-9fe2-3fc0a749067e ro efi=debug memblock=debug
[    0.000000] x86/fpu: Legacy x87 FPU detected.
[    0.000000] x86/fpu: Using 'lazy' FPU context switches.
[    0.000000] e820: BIOS-provided physical RAM map:
[    0.000000] BIOS-e820: [mem 0x0000000000000000-0x000000000006efff] usable
[    0.000000] BIOS-e820: [mem 0x000000000006f000-0x000000000006ffff] ACPI NVS
[    0.000000] BIOS-e820: [mem 0x0000000000070000-0x0000000000085fff] usable
[    0.000000] BIOS-e820: [mem 0x0000000000086000-0x000000000009ffff] reserved
[    0.000000] BIOS-e820: [mem 0x0000000000100000-0x000000001effffff] usable
[    0.000000] BIOS-e820: [mem 0x000000001f000000-0x000000001f0fffff] reserved
[    0.000000] BIOS-e820: [mem 0x000000001f100000-0x000000001fffffff] usable
[    0.000000] BIOS-e820: [mem 0x0000000020000000-0x00000000200fffff] reserved
[    0.000000] BIOS-e820: [mem 0x0000000020100000-0x000000007840cfff] usable
[    0.000000] BIOS-e820: [mem 0x000000007840d000-0x000000007860cfff] type 20
[    0.000000] BIOS-e820: [mem 0x000000007860d000-0x000000007910cfff] reserved
[    0.000000] BIOS-e820: [mem 0x000000007910d000-0x000000007920cfff] ACPI NVS
[    0.000000] BIOS-e820: [mem 0x000000007920d000-0x000000007924cfff] ACPI data
[    0.000000] BIOS-e820: [mem 0x000000007924d000-0x0000000079ffffff] usable
[    0.000000] BIOS-e820: [mem 0x00000000e00f8000-0x00000000e00f8fff] reserved
[    0.000000] BIOS-e820: [mem 0x00000000fed01000-0x00000000fed01fff] reserved
[    0.000000] BIOS-e820: [mem 0x00000000ffb80000-0x00000000ffffffff] reserved
[    0.000000] BIOS-e820: [mem 0x0000000100000000-0x000000017fffffff] usable
[    0.000000] NX (Execute Disable) protection: active
[    0.000000] efi: EFI v2.40 by INSYDE Corp.
[    0.000000] efi:  ACPI 2.0=0x7924c014  ESRT=0x787b4218  SMBIOS=0x78859000 
[    0.000000] efi: mem00: [Boot Code          |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000000000000-0x0000000000001000) (0MB)
[    0.000000] efi: mem01: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000000001000-0x000000000006f000) (0MB)
[    0.000000] efi: mem02: [ACPI Memory NVS    |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000000006f000-0x0000000000070000) (0MB)
[    0.000000] efi: mem03: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000000070000-0x0000000000086000) (0MB)
[    0.000000] efi: mem04: [Reserved           |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000000086000-0x0000000000088000) (0MB)
[    0.000000] efi: mem05: [Runtime Data       |RUN|  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000000088000-0x00000000000a0000) (0MB)
[    0.000000] efi: mem06: [Loader Data        |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000000100000-0x0000000001183000) (16MB)
[    0.000000] efi: mem07: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000001183000-0x0000000001200000) (0MB)
[    0.000000] efi: mem08: [Loader Data        |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000001200000-0x0000000002283000) (16MB)
[    0.000000] efi: mem09: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000002283000-0x000000001f000000) (461MB)
[    0.000000] efi: mem10: [Reserved           |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000001f000000-0x000000001f100000) (1MB)
[    0.000000] efi: mem11: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000001f100000-0x0000000020000000) (15MB)
[    0.000000] efi: mem12: [Reserved           |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000020000000-0x0000000020100000) (1MB)
[    0.000000] efi: mem13: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000020100000-0x0000000035ebe000) (349MB)
[    0.000000] efi: mem14: [Loader Data        |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000035ebe000-0x0000000036f57000) (16MB)
[    0.000000] efi: mem15: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000036f57000-0x0000000052599000) (438MB)
[    0.000000] efi: mem16: [Loader Data        |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000052599000-0x0000000070000000) (474MB)
[    0.000000] efi: mem17: [Boot Data          |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000070000000-0x0000000070020000) (0MB)
[    0.000000] efi: mem18: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000070020000-0x0000000074b6f000) (75MB)
[    0.000000] efi: mem19: [Loader Code        |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000074b6f000-0x0000000074b8d000) (0MB)
[    0.000000] efi: mem20: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000074b8d000-0x0000000076879000) (28MB)
[    0.000000] efi: mem21: [Boot Data          |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000076879000-0x0000000077b8d000) (19MB)
[    0.000000] efi: mem22: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000077b8d000-0x0000000077fec000) (4MB)
[    0.000000] efi: mem23: [Loader Data        |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000077fec000-0x0000000077ff6000) (0MB)
[    0.000000] efi: mem24: [Boot Code          |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000077ff6000-0x000000007840d000) (4MB)
[    0.000000] efi: mem25: [Runtime Code       |RUN|  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000007840d000-0x000000007860d000) (2MB)
[    0.000000] efi: mem26: [Runtime Data       |RUN|  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000007860d000-0x000000007898d000) (3MB)
[    0.000000] efi: mem27: [Reserved           |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000007898d000-0x000000007910d000) (7MB)
[    0.000000] efi: mem28: [ACPI Memory NVS    |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000007910d000-0x000000007920d000) (1MB)
[    0.000000] efi: mem29: [ACPI Reclaim Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000007920d000-0x000000007924d000) (0MB)
[    0.000000] efi: mem30: [Boot Data          |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000007924d000-0x000000007a000000) (13MB)
[    0.000000] efi: mem31: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000100000000-0x0000000180000000) (2048MB)
[    0.000000] efi: mem32: [Memory Mapped I/O  |RUN|  |  |  |  |  |   |  |  |  |UC] range=[0x00000000e00f8000-0x00000000e00f9000) (0MB)
[    0.000000] efi: mem33: [Memory Mapped I/O  |RUN|  |  |  |  |  |   |  |  |  |  ] range=[0x00000000fed01000-0x00000000fed02000) (0MB)
[    0.000000] efi: mem34: [Memory Mapped I/O  |RUN|  |  |  |  |  |   |  |  |  |  ] range=[0x00000000ffb80000-0x0000000100000000) (4MB)
[    0.000000] esrt: Reserving ESRT space from 0x00000000787b4218 to 0x00000000787b4250.
[    0.000000] memblock_reserve: [0x000000787b4218-0x000000787b424f] flags 0x0 efi_esrt_init+0x20f/0x257
[    0.000000] SMBIOS 2.7 present.
[    0.000000] DMI: Hewlett-Packard HP Pavilion 11 x360 PC/2209, BIOS F.27 04/01/2015
[    0.000000] e820: update [mem 0x00000000-0x00000fff] usable ==> reserved
[    0.000000] e820: remove [mem 0x000a0000-0x000fffff] usable
[    0.000000] e820: last_pfn = 0x180000 max_arch_pfn = 0x400000000
[    0.000000] MTRR default type: uncachable
[    0.000000] MTRR fixed ranges enabled:
[    0.000000]   00000-9FFFF write-back
[    0.000000]   A0000-BFFFF uncachable
[    0.000000]   C0000-FFFFF write-protect
[    0.000000] MTRR variable ranges enabled:
[    0.000000]   0 base 0FFC00000 mask FFFC00000 write-protect
[    0.000000]   1 base 0FFB80000 mask FFFF80000 uncachable
[    0.000000]   2 base 000000000 mask F80000000 write-back
[    0.000000]   3 base 07C000000 mask FFC000000 uncachable
[    0.000000]   4 base 07B000000 mask FFF000000 uncachable
[    0.000000]   5 base 07AE00000 mask FFFE00000 uncachable
[    0.000000]   6 base 100000000 mask F80000000 write-back
[    0.000000]   7 disabled
[    0.000000] x86/PAT: Configuration [0-7]: WB  WC  UC- UC  WB  WC  UC- WT  
[    0.000000] e820: last_pfn = 0x7a000 max_arch_pfn = 0x400000000
[    0.000000] memblock_reserve: [0x00000001f25000-0x00000001f2bfff] flags 0x0 setup_arch+0x632/0xcc6
[    0.000000] memblock_add: [0x00000000001000-0x0000000006efff] flags 0x0 memblock_x86_fill+0x3e/0x5d
[    0.000000] memblock_add: [0x00000000070000-0x00000000085fff] flags 0x0 memblock_x86_fill+0x3e/0x5d
[    0.000000] memblock_add: [0x00000000100000-0x0000001effffff] flags 0x0 memblock_x86_fill+0x3e/0x5d
[    0.000000] memblock_add: [0x0000001f100000-0x0000001fffffff] flags 0x0 memblock_x86_fill+0x3e/0x5d
[    0.000000] memblock_add: [0x00000020100000-0x0000007840cfff] flags 0x0 memblock_x86_fill+0x3e/0x5d
[    0.000000] memblock_add: [0x0000007924d000-0x00000079ffffff] flags 0x0 memblock_x86_fill+0x3e/0x5d
[    0.000000] memblock_add: [0x00000100000000-0x0000017fffffff] flags 0x0 memblock_x86_fill+0x3e/0x5d
[    0.000000] MEMBLOCK configuration:
[    0.000000]  memory size = 0xf8f44000 reserved size = 0x1e266c8
[    0.000000]  memory.cnt  = 0x7
[    0.000000]  memory[0x0]	[0x00000000001000-0x0000000006efff], 0x6e000 bytes flags: 0x0
[    0.000000]  memory[0x1]	[0x00000000070000-0x00000000085fff], 0x16000 bytes flags: 0x0
[    0.000000]  memory[0x2]	[0x00000000100000-0x0000001effffff], 0x1ef00000 bytes flags: 0x0
[    0.000000]  memory[0x3]	[0x0000001f100000-0x0000001fffffff], 0xf00000 bytes flags: 0x0
[    0.000000]  memory[0x4]	[0x00000020100000-0x0000007840cfff], 0x5830d000 bytes flags: 0x0
[    0.000000]  memory[0x5]	[0x0000007924d000-0x00000079ffffff], 0xdb3000 bytes flags: 0x0
[    0.000000]  memory[0x6]	[0x00000100000000-0x0000017fffffff], 0x80000000 bytes flags: 0x0
[    0.000000]  reserved.cnt  = 0x5
[    0.000000]  reserved[0x0]	[0x00000000082000-0x0000000008268f], 0x690 bytes flags: 0x0
[    0.000000]  reserved[0x1]	[0x0000000009f000-0x000000000fffff], 0x61000 bytes flags: 0x0
[    0.000000]  reserved[0x2]	[0x00000001200000-0x00000001f2bfff], 0xd2c000 bytes flags: 0x0
[    0.000000]  reserved[0x3]	[0x00000035ebe000-0x00000036f56fff], 0x1099000 bytes flags: 0x0
[    0.000000]  reserved[0x4]	[0x000000787b4218-0x000000787b424f], 0x38 bytes flags: 0x0
[    0.000000] Could not reserve boot range [0x0000000000-0x0000000fff]
[    0.000000] memblock_reserve: [0x00000070000000-0x0000007001ffff] flags 0x0 efi_reserve_boot_services+0xb6/0xcb
[    0.000000] memblock_reserve: [0x00000076879000-0x00000077b8cfff] flags 0x0 efi_reserve_boot_services+0xb6/0xcb
[    0.000000] memblock_reserve: [0x00000077ff6000-0x0000007840cfff] flags 0x0 efi_reserve_boot_services+0xb6/0xcb
[    0.000000] memblock_reserve: [0x0000007924d000-0x00000079ffffff] flags 0x0 efi_reserve_boot_services+0xb6/0xcb
[    0.000000] memblock_reserve: [0x0000000007c000-0x00000000081fff] flags 0x0 reserve_real_mode+0x59/0x79
[    0.000000] Base memory trampoline at [ffff88000007c000] 7c000 size 24576
[    0.000000] memblock_reserve: [0x00000000000000-0x0000000000ffff] flags 0x0 setup_arch+0x733/0xcc6
[    0.000000] BRK [0x01f26000, 0x01f26fff] PGTABLE
[    0.000000] BRK [0x01f27000, 0x01f27fff] PGTABLE
[    0.000000] BRK [0x01f28000, 0x01f28fff] PGTABLE
[    0.000000] BRK [0x01f29000, 0x01f29fff] PGTABLE
[    0.000000] BRK [0x01f2a000, 0x01f2afff] PGTABLE
[    0.000000] BRK [0x01f2b000, 0x01f2bfff] PGTABLE
[    0.000000] memblock_reserve: [0x0000017ffff000-0x0000017fffffff] flags 0x0 alloc_low_pages+0xa2/0x140
[    0.000000] memblock_reserve: [0x0000017fffe000-0x0000017fffefff] flags 0x0 alloc_low_pages+0xa2/0x140
[    0.000000] memblock_reserve: [0x0000017fffd000-0x0000017fffdfff] flags 0x0 alloc_low_pages+0xa2/0x140
[    0.000000] memblock_reserve: [0x0000017fffc000-0x0000017fffcfff] flags 0x0 alloc_low_pages+0xa2/0x140
[    0.000000] RAMDISK: [mem 0x35ebe000-0x36f56fff]
[    0.000000] ACPI: Early table checksum verification disabled
[    0.000000] ACPI: RSDP 0x000000007924C014 000024 (v02 HPQOEM)
[    0.000000] ACPI: XSDT 0x000000007924C120 00009C (v01 HPQOEM SLIC-MPC 00000003      01000013)
[    0.000000] ACPI: FACP 0x0000000079249000 00010C (v05 HPQOEM SLIC-MPC 00000003 HP   00040000)
[    0.000000] ACPI: DSDT 0x0000000079238000 00C4B1 (v02 HPQOEM SLIC-MPC 00000003 HP   00040000)
[    0.000000] ACPI: FACS 0x00000000791D4000 000040
[    0.000000] ACPI: UEFI 0x000000007924B000 000236 (v01 HPQOEM INSYDE   00000001 HP   00040000)
[    0.000000] ACPI: MSDM 0x000000007924A000 000055 (v03 HPQOEM SLIC-MPC 00000001 HP   00040000)
[    0.000000] ACPI: HPET 0x0000000079248000 000038 (v01 HPQOEM INSYDE   00000003 HP   00040000)
[    0.000000] ACPI: LPIT 0x0000000079247000 000104 (v01 HPQOEM INSYDE   00000003 HP   00040000)
[    0.000000] ACPI: APIC 0x0000000079246000 000084 (v03 HPQOEM SLIC-MPC 00000003 HP   00040000)
[    0.000000] ACPI: MCFG 0x0000000079245000 00003C (v01 HPQOEM INSYDE   00000003 HP   00040000)
[    0.000000] ACPI: SSDT 0x0000000079236000 000763 (v01 HPQOEM INSYDE   00003000 HP   00040000)
[    0.000000] ACPI: SSDT 0x0000000079235000 000290 (v01 HPQOEM INSYDE   00003000 HP   00040000)
[    0.000000] ACPI: SSDT 0x0000000079234000 00017A (v01 HPQOEM INSYDE   00003000 HP   00040000)
[    0.000000] ACPI: UEFI 0x0000000079233000 000042 (v01 HPQOEM INSYDE   00000000 HP   00040000)
[    0.000000] ACPI: SSDT 0x000000007922C000 006498 (v01 HPQOEM INSYDE   00001000 HP   00040000)
[    0.000000] ACPI: SSDT 0x000000007922B000 0005D8 (v01 HPQOEM INSYDE   00001000 HP   00040000)
[    0.000000] ACPI: FPDT 0x000000007922A000 000044 (v01 HPQOEM SLIC-MPC 00000002 HP   00040000)
[    0.000000] ACPI: BGRT 0x0000000079237000 000038 (v01 HPQOEM INSYDE   00000001 HP   00040000)
[    0.000000] ACPI: Local APIC address 0xfee00000
[    0.000000] No NUMA configuration found
[    0.000000] Faking a node at [mem 0x0000000000000000-0x000000017fffffff]
[    0.000000] memblock_reserve: [0x0000017fff8000-0x0000017fffbfff] flags 0x0 memblock_alloc_range_nid+0x2d/0x37
[    0.000000] NODE_DATA(0) allocated [mem 0x17fff8000-0x17fffbfff]
[    0.000000] MEMBLOCK configuration:
[    0.000000]  memory size = 0xf8f44000 reserved size = 0x43426c8
[    0.000000]  memory.cnt  = 0x7
[    0.000000]  memory[0x0]	[0x00000000001000-0x0000000006efff], 0x6e000 bytes on node 0 flags: 0x0
[    0.000000]  memory[0x1]	[0x00000000070000-0x00000000085fff], 0x16000 bytes on node 0 flags: 0x0
[    0.000000]  memory[0x2]	[0x00000000100000-0x0000001effffff], 0x1ef00000 bytes on node 0 flags: 0x0
[    0.000000]  memory[0x3]	[0x0000001f100000-0x0000001fffffff], 0xf00000 bytes on node 0 flags: 0x0
[    0.000000]  memory[0x4]	[0x00000020100000-0x0000007840cfff], 0x5830d000 bytes on node 0 flags: 0x0
[    0.000000]  memory[0x5]	[0x0000007924d000-0x00000079ffffff], 0xdb3000 bytes on node 0 flags: 0x0
[    0.000000]  memory[0x6]	[0x00000100000000-0x0000017fffffff], 0x80000000 bytes on node 0 flags: 0x0
[    0.000000]  reserved.cnt  = 0xc
[    0.000000]  reserved[0x0]	[0x00000000000000-0x0000000000ffff], 0x10000 bytes on node 0 flags: 0x0
[    0.000000]  reserved[0x1]	[0x0000000007c000-0x0000000008268f], 0x6690 bytes on node 0 flags: 0x0
[    0.000000]  reserved[0x2]	[0x0000000009f000-0x000000000fffff], 0x61000 bytes on node 0 flags: 0x0
[    0.000000]  reserved[0x3]	[0x00000001200000-0x00000001f2bfff], 0xd2c000 bytes on node 0 flags: 0x0
[    0.000000]  reserved[0x4]	[0x00000035ebe000-0x00000036f56fff], 0x1099000 bytes on node 0 flags: 0x0
[    0.000000]  reserved[0x5]	[0x00000070000000-0x0000007001ffff], 0x20000 bytes on node 0 flags: 0x0
[    0.000000]  reserved[0x6]	[0x00000076879000-0x00000077b8cfff], 0x1314000 bytes on node 0 flags: 0x0
[    0.000000]  reserved[0x7]	[0x00000077ff6000-0x0000007840cfff], 0x417000 bytes on node 0 flags: 0x0
[    0.000000]  reserved[0x8]	[0x000000787b4218-0x000000787b424f], 0x38 bytes on node 0 flags: 0x0
[    0.000000]  reserved[0x9]	[0x0000007924d000-0x00000079ffffff], 0xdb3000 bytes on node 0 flags: 0x0
[    0.000000]  reserved[0xa]	[0x0000017fff8000-0x0000017fffbfff], 0x4000 bytes flags: 0x0
[    0.000000]  reserved[0xb]	[0x0000017fffc000-0x0000017fffffff], 0x4000 bytes on node 0 flags: 0x0
[    0.000000] memblock_virt_alloc_try_nid: 4096 bytes align=0x0 nid=0 from=0x0 max_addr=0x0 memory_present+0x65/0xb3
[    0.000000] memblock_reserve: [0x0000017fff7000-0x0000017fff7fff] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 4194304 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 sparse_init+0x1d/0x12d
[    0.000000] memblock_reserve: [0x0000017fbf7000-0x0000017fff6fff] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid_nopanic: 1024 bytes align=0x40 nid=0 from=0x178000000 max_addr=0x180000000 sparse_early_usemaps_alloc_node+0x80/0x1df
[    0.000000] memblock_reserve: [0x0000017fbf6c00-0x0000017fbf6fff] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 4194304 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 sparse_init+0x54/0x12d
[    0.000000] memblock_reserve: [0x0000017f7f6c00-0x0000017fbf6bff] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 67108864 bytes align=0x200000 nid=0 from=0x1000000 max_addr=0x0 sparse_mem_maps_populate_node+0x30/0x119
[    0.000000] memblock_reserve: [0x0000017b600000-0x0000017f5fffff] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 4096 bytes align=0x1000 nid=0 from=0x1000000 max_addr=0x0 vmemmap_pgd_populate+0x28/0x9e
[    0.000000] memblock_reserve: [0x0000017f7f5000-0x0000017f7f5fff] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 4096 bytes align=0x1000 nid=0 from=0x1000000 max_addr=0x0 vmemmap_pud_populate+0x4b/0xc5
[    0.000000] memblock_reserve: [0x0000017f7f4000-0x0000017f7f4fff] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] __memblock_free_early: [0x0000017f600000-0x0000017f5fffff] sparse_mem_maps_populate_node+0xf7/0x119
[    0.000000] __memblock_free_early: [0x0000017f7f6c00-0x0000017fbf6bff] sparse_init+0x107/0x12d
[    0.000000] __memblock_free_early: [0x0000017fbf7000-0x0000017fff6fff] paging_init+0xf/0x1c
[    0.000000] Zone ranges:
[    0.000000]   DMA      [mem 0x0000000000001000-0x0000000000ffffff]
[    0.000000]   DMA32    [mem 0x0000000001000000-0x00000000ffffffff]
[    0.000000]   Normal   [mem 0x0000000100000000-0x000000017fffffff]
[    0.000000] Movable zone start for each node
[    0.000000] Early memory node ranges
[    0.000000]   node   0: [mem 0x0000000000001000-0x000000000006efff]
[    0.000000]   node   0: [mem 0x0000000000070000-0x0000000000085fff]
[    0.000000]   node   0: [mem 0x0000000000100000-0x000000001effffff]
[    0.000000]   node   0: [mem 0x000000001f100000-0x000000001fffffff]
[    0.000000]   node   0: [mem 0x0000000020100000-0x000000007840cfff]
[    0.000000]   node   0: [mem 0x000000007924d000-0x0000000079ffffff]
[    0.000000]   node   0: [mem 0x0000000100000000-0x000000017fffffff]
[    0.000000] Initmem setup node 0 [mem 0x0000000000001000-0x000000017fffffff]
[    0.000000] On node 0 totalpages: 1019716
[    0.000000]   DMA zone: 64 pages used for memmap
[    0.000000]   DMA zone: 22 pages reserved
[    0.000000]   DMA zone: 3972 pages, LIFO batch:0
[    0.000000] memblock_virt_alloc_try_nid_nopanic: 98304 bytes align=0x0 nid=0 from=0x0 max_addr=0x0 zone_wait_table_init.isra.75+0x4a/0xb0
[    0.000000] memblock_reserve: [0x0000017ffdf000-0x0000017fff6fff] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000]   DMA32 zone: 7679 pages used for memmap
[    0.000000]   DMA32 zone: 491456 pages, LIFO batch:31
[    0.000000] memblock_virt_alloc_try_nid_nopanic: 98304 bytes align=0x0 nid=0 from=0x0 max_addr=0x0 zone_wait_table_init.isra.75+0x4a/0xb0
[    0.000000] memblock_reserve: [0x0000017ffc7000-0x0000017ffdefff] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000]   Normal zone: 8192 pages used for memmap
[    0.000000]   Normal zone: 524288 pages, LIFO batch:31
[    0.000000] memblock_virt_alloc_try_nid_nopanic: 98304 bytes align=0x0 nid=0 from=0x0 max_addr=0x0 zone_wait_table_init.isra.75+0x4a/0xb0
[    0.000000] memblock_reserve: [0x0000017ffaf000-0x0000017ffc6fff] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_reserve: [0x0000017ffae000-0x0000017ffaefff] flags 0x0 __alloc_memory_core_early+0x7d/0xa9
[    0.000000] x86/hpet: Will disable the HPET for this platform because it's not reliable
[    0.000000] Reserving Intel graphics stolen memory at 0x7b000000-0x7effffff
[    0.000000] ACPI: PM-Timer IO Port: 0x408
[    0.000000] ACPI: Local APIC address 0xfee00000
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x01] high level lint[0x1])
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x02] high level lint[0x1])
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x03] high level lint[0x1])
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x04] high level lint[0x1])
[    0.000000] IOAPIC[0]: apic_id 2, version 32, address 0xfec00000, GSI 0-86
[    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: IRQ9 used by override.
[    0.000000] Using ACPI (MADT) for SMP configuration information
[    0.000000] ACPI: HPET id: 0x8086a201 base: 0xfed00000
[    0.000000] memblock_reserve: [0x0000017ffadf80-0x0000017ffadfc0] flags 0x0 __alloc_memory_core_early+0x7d/0xa9
[    0.000000] smpboot: Allowing 4 CPUs, 2 hotplug CPUs
[    0.000000] memblock_reserve: [0x0000017ffadf00-0x0000017ffadf42] flags 0x0 __alloc_memory_core_early+0x7d/0xa9
[    0.000000] memblock_reserve: [0x0000017ffada80-0x0000017ffadedf] flags 0x0 __alloc_memory_core_early+0x7d/0xa9
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffada00-0x0000017ffada67] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffad980-0x0000017ffad9e7] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffad900-0x0000017ffad967] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffad880-0x0000017ffad8e7] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffad800-0x0000017ffad867] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffad780-0x0000017ffad7e7] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffad700-0x0000017ffad767] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffad680-0x0000017ffad6e7] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffad600-0x0000017ffad667] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffad580-0x0000017ffad5e7] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffad500-0x0000017ffad567] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffad480-0x0000017ffad4e7] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffad400-0x0000017ffad467] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffad380-0x0000017ffad3e7] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffad300-0x0000017ffad367] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffad280-0x0000017ffad2e7] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffad200-0x0000017ffad267] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 104 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 firmware_map_add_early+0x21/0x56
[    0.000000] memblock_reserve: [0x0000017ffad180-0x0000017ffad1e7] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 32 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 __register_nosave_region+0x66/0xa2
[    0.000000] memblock_reserve: [0x0000017ffad140-0x0000017ffad15f] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] PM: Registered nosave memory: [mem 0x00000000-0x00000fff]
[    0.000000] memblock_virt_alloc_try_nid: 32 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 __register_nosave_region+0x66/0xa2
[    0.000000] memblock_reserve: [0x0000017ffad100-0x0000017ffad11f] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] PM: Registered nosave memory: [mem 0x0006f000-0x0006ffff]
[    0.000000] memblock_virt_alloc_try_nid: 32 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 __register_nosave_region+0x66/0xa2
[    0.000000] memblock_reserve: [0x0000017ffad0c0-0x0000017ffad0df] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] PM: Registered nosave memory: [mem 0x00086000-0x0009ffff]
[    0.000000] PM: Registered nosave memory: [mem 0x000a0000-0x000fffff]
[    0.000000] memblock_virt_alloc_try_nid: 32 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 __register_nosave_region+0x66/0xa2
[    0.000000] memblock_reserve: [0x0000017ffad080-0x0000017ffad09f] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] PM: Registered nosave memory: [mem 0x1f000000-0x1f0fffff]
[    0.000000] memblock_virt_alloc_try_nid: 32 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 __register_nosave_region+0x66/0xa2
[    0.000000] memblock_reserve: [0x0000017ffad040-0x0000017ffad05f] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] PM: Registered nosave memory: [mem 0x20000000-0x200fffff]
[    0.000000] memblock_virt_alloc_try_nid: 32 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 __register_nosave_region+0x66/0xa2
[    0.000000] memblock_reserve: [0x0000017ffad000-0x0000017ffad01f] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] PM: Registered nosave memory: [mem 0x7840d000-0x7860cfff]
[    0.000000] PM: Registered nosave memory: [mem 0x7860d000-0x7910cfff]
[    0.000000] PM: Registered nosave memory: [mem 0x7910d000-0x7920cfff]
[    0.000000] PM: Registered nosave memory: [mem 0x7920d000-0x7924cfff]
[    0.000000] memblock_virt_alloc_try_nid: 32 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 __register_nosave_region+0x66/0xa2
[    0.000000] memblock_reserve: [0x0000017ffacfc0-0x0000017ffacfdf] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] PM: Registered nosave memory: [mem 0x7a000000-0x7affffff]
[    0.000000] PM: Registered nosave memory: [mem 0x7b000000-0x7effffff]
[    0.000000] PM: Registered nosave memory: [mem 0x7f000000-0xe00f7fff]
[    0.000000] PM: Registered nosave memory: [mem 0xe00f8000-0xe00f8fff]
[    0.000000] PM: Registered nosave memory: [mem 0xe00f9000-0xfed00fff]
[    0.000000] PM: Registered nosave memory: [mem 0xfed01000-0xfed01fff]
[    0.000000] PM: Registered nosave memory: [mem 0xfed02000-0xffb7ffff]
[    0.000000] PM: Registered nosave memory: [mem 0xffb80000-0xffffffff]
[    0.000000] e820: [mem 0x7f000000-0xe00f7fff] available for PCI devices
[    0.000000] Booting paravirtualized kernel on bare hardware
[    0.000000] clocksource: refined-jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645519600211568 ns
[    0.000000] memblock_virt_alloc_try_nid: 118 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 start_kernel+0x113/0x497
[    0.000000] memblock_reserve: [0x0000017ffacf40-0x0000017ffacfb5] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 118 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 start_kernel+0x139/0x497
[    0.000000] memblock_reserve: [0x0000017ffacec0-0x0000017ffacf35] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 118 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 start_kernel+0x15f/0x497
[    0.000000] memblock_reserve: [0x0000017fface40-0x0000017ffaceb5] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] setup_percpu: NR_CPUS:512 nr_cpumask_bits:512 nr_cpu_ids:4 nr_node_ids:1
[    0.000000] memblock_virt_alloc_try_nid_nopanic: 4096 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 pcpu_alloc_alloc_info+0x3b/0x73
[    0.000000] memblock_reserve: [0x0000017ffabe40-0x0000017fface3f] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid_nopanic: 4096 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 pcpu_embed_first_chunk+0x6d/0x2b7
[    0.000000] memblock_reserve: [0x0000017ffaae40-0x0000017ffabe3f] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_reserve: [0x0000017fc00000-0x0000017fdfffff] flags 0x0 __alloc_memory_core_early+0x7d/0xa9
[    0.000000]    memblock_free: [0x0000017fc20000-0x0000017fc7ffff] pcpu_embed_first_chunk+0x19a/0x2b7
[    0.000000]    memblock_free: [0x0000017fca0000-0x0000017fcfffff] pcpu_embed_first_chunk+0x19a/0x2b7
[    0.000000]    memblock_free: [0x0000017fd20000-0x0000017fd7ffff] pcpu_embed_first_chunk+0x19a/0x2b7
[    0.000000]    memblock_free: [0x0000017fda0000-0x0000017fdfffff] pcpu_embed_first_chunk+0x19a/0x2b7
[    0.000000] PERCPU: Embedded 32 pages/cpu @ffff88017fc00000 s92952 r8192 d29928 u524288
[    0.000000] memblock_virt_alloc_try_nid: 8 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 pcpu_setup_first_chunk+0x299/0x779
[    0.000000] memblock_reserve: [0x0000017ffaae00-0x0000017ffaae07] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 8 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 pcpu_setup_first_chunk+0x2a9/0x779
[    0.000000] memblock_reserve: [0x0000017ffaadc0-0x0000017ffaadc7] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 16 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 pcpu_setup_first_chunk+0x2bd/0x779
[    0.000000] memblock_reserve: [0x0000017ffaad80-0x0000017ffaad8f] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 32 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 pcpu_setup_first_chunk+0x2d0/0x779
[    0.000000] memblock_reserve: [0x0000017ffaad40-0x0000017ffaad5f] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] pcpu-alloc: s92952 r8192 d29928 u524288 alloc=1*2097152
[    0.000000] pcpu-alloc: [0] 0 1 2 3 
[    0.000000] memblock_virt_alloc_try_nid: 304 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 pcpu_setup_first_chunk+0x59c/0x779
[    0.000000] memblock_reserve: [0x0000017ffaac00-0x0000017ffaad2f] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 120 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 pcpu_setup_first_chunk+0x5ca/0x779
[    0.000000] memblock_reserve: [0x0000017ffaab80-0x0000017ffaabf7] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 120 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 pcpu_setup_first_chunk+0x6ad/0x779
[    0.000000] memblock_reserve: [0x0000017ffaab00-0x0000017ffaab77] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] __memblock_free_early: [0x0000017ffabe40-0x0000017fface3f] pcpu_embed_first_chunk+0x261/0x2b7
[    0.000000] __memblock_free_early: [0x0000017ffaae40-0x0000017ffabe3f] pcpu_embed_first_chunk+0x288/0x2b7
[    0.000000] Built 1 zonelists in Node order, mobility grouping on.  Total pages: 1003759
[    0.000000] Policy zone: Normal
[    0.000000] Kernel command line: BOOT_IMAGE=/boot/vmlinuz-4.4.0-trunk-amd64 root=UUID=4026c556-6239-4eb1-9fe2-3fc0a749067e ro efi=debug memblock=debug
[    0.000000] memblock_virt_alloc_try_nid_nopanic: 32768 bytes align=0x0 nid=-1 from=0x0 max_addr=0x0 alloc_large_system_hash+0x139/0x219
[    0.000000] memblock_reserve: [0x0000017ffa2b00-0x0000017ffaaaff] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] PID hash table entries: 4096 (order: 3, 32768 bytes)
[    0.000000] memblock_virt_alloc_try_nid_nopanic: 67108864 bytes align=0x1000 nid=-1 from=0x0 max_addr=0xffffffff swiotlb_init+0x46/0xa3
[    0.000000] memblock_reserve: [0x00000072879000-0x00000076878fff] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid_nopanic: 32768 bytes align=0x1000 nid=-1 from=0x0 max_addr=0xffffffff swiotlb_init_with_tbl+0x62/0x13c
[    0.000000] memblock_reserve: [0x00000077fee000-0x00000077ff5fff] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 131072 bytes align=0x1000 nid=-1 from=0x0 max_addr=0x0 swiotlb_init_with_tbl+0xb2/0x13c
[    0.000000] memblock_reserve: [0x0000017ff82000-0x0000017ffa1fff] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] memblock_virt_alloc_try_nid: 262144 bytes align=0x1000 nid=-1 from=0x0 max_addr=0x0 swiotlb_init_with_tbl+0xe1/0x13c
[    0.000000] memblock_reserve: [0x0000017ff42000-0x0000017ff81fff] flags 0x0 memblock_virt_alloc_internal+0x12d/0x159
[    0.000000] Calgary: detecting Calgary via BIOS EBDA area
[    0.000000] Calgary: Unable to locate Rio Grande table in EBDA - bailing!
[    0.000000] Memory: 3878028K/4078864K available (5665K kernel code, 1063K rwdata, 2800K rodata, 1296K init, 828K bss, 200836K reserved, 0K cma-reserved)
[    0.000000] Hierarchical RCU implementation.
[    0.000000] 	Build-time adjustment of leaf fanout to 64.
[    0.000000] 	RCU restricting CPUs from NR_CPUS=512 to nr_cpu_ids=4.
[    0.000000] RCU: Adjusting geometry for rcu_fanout_leaf=64, nr_cpu_ids=4
[    0.000000] NR_IRQS:33024 nr_irqs:1024 16
[    0.000000] Console: colour dummy device 80x25
[    0.000000] console [tty0] enabled
[    0.000000] Maximum core-clock to bus-clock ratio: 0x10
[    0.000000] Resolved frequency ID: 2, frequency: 133200 KHz
[    0.000000] TSC runs at 2131200 KHz
[    0.000000] lapic_timer_frequency = 532800
[    0.000000] tsc: Detected 2131.200 MHz processor
[    0.000036] Calibrating delay loop (skipped), value calculated using timer frequency.. 4262.40 BogoMIPS (lpj=8524800)
[    0.000050] pid_max: default: 32768 minimum: 301
[    0.000070] ACPI: Core revision 20150930
[    0.029954] ACPI: 6 ACPI AML tables successfully acquired and loaded
[    0.031132] Security Framework initialized
[    0.031147] Yama: disabled by default; enable with sysctl kernel.yama.*
[    0.031164] AppArmor: AppArmor disabled by boot time parameter
[    0.031691] Dentry cache hash table entries: 524288 (order: 10, 4194304 bytes)
[    0.033544] Inode-cache hash table entries: 262144 (order: 9, 2097152 bytes)
[    0.034375] Mount-cache hash table entries: 8192 (order: 4, 65536 bytes)
[    0.034400] Mountpoint-cache hash table entries: 8192 (order: 4, 65536 bytes)
[    0.034817] Initializing cgroup subsys io
[    0.034834] Initializing cgroup subsys memory
[    0.034938] Disabling memory control group subsystem
[    0.034946] Initializing cgroup subsys devices
[    0.034957] Initializing cgroup subsys freezer
[    0.034967] Initializing cgroup subsys net_cls
[    0.034980] Initializing cgroup subsys perf_event
[    0.034990] Initializing cgroup subsys net_prio
[    0.035026] CPU: Physical Processor ID: 0
[    0.035033] CPU: Processor Core ID: 0
[    0.035043] ENERGY_PERF_BIAS: Set to 'normal', was 'performance'
[    0.035050] ENERGY_PERF_BIAS: View and update with x86_energy_perf_policy(8)
[    0.040938] mce: CPU supports 6 MCE banks
[    0.040953] CPU0: Thermal monitoring handled by SMI
[    0.040958] process: using mwait in idle threads
[    0.040969] Last level iTLB entries: 4KB 48, 2MB 0, 4MB 0
[    0.040976] Last level dTLB entries: 4KB 128, 2MB 16, 4MB 16, 1GB 0
[    0.041271] Freeing SMP alternatives memory: 24K (ffffffff81c4f000 - ffffffff81c55000)
[    0.052927] ftrace: allocating 23589 entries in 93 pages
[    0.064970] ..TIMER: vector=0x30 apic1=0 pin1=2 apic2=-1 pin2=-1
[    0.104685] TSC deadline timer enabled
[    0.104690] smpboot: CPU0: Intel(R) Celeron(R) CPU  N2820  @ 2.13GHz (family: 0x6, model: 0x37, stepping: 0x3)
[    0.104748] Performance Events: PEBS fmt2+, 8-deep LBR, Silvermont events, full-width counters, Intel PMU driver.
[    0.104773] ... version:                3
[    0.104780] ... bit width:              40
[    0.104785] ... generic registers:      2
[    0.104791] ... value mask:             000000ffffffffff
[    0.104797] ... max period:             000000ffffffffff
[    0.104803] ... fixed-purpose events:   3
[    0.104809] ... event mask:             0000000700000003
[    0.105879] x86: Booting SMP configuration:
[    0.105890] .... node  #0, CPUs:      #1
[    0.111861] CPU1: Thermal monitoring handled by SMI
[    0.113941] x86: Booted up 1 node, 2 CPUs
[    0.113958] smpboot: Total of 2 processors activated (8524.80 BogoMIPS)
[    0.114113] NMI watchdog: enabled on all CPUs, permanently consumes one hw-PMU counter.
[    0.114780] devtmpfs: initialized
[    0.121361] PM: Registering ACPI NVS region [mem 0x0006f000-0x0006ffff] (4096 bytes)
[    0.121374] PM: Registering ACPI NVS region [mem 0x7910d000-0x7920cfff] (1048576 bytes)
[    0.121564] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645041785100000 ns
[    0.121719] pinctrl core: initialized pinctrl subsystem
[    0.122072] NET: Registered protocol family 16
[    0.129946] cpuidle: using governor ladder
[    0.137952] cpuidle: using governor menu
[    0.138064] ACPI: bus type PCI registered
[    0.138073] acpiphp: ACPI Hot Plug PCI Controller Driver version: 0.5
[    0.138215] PCI: MMCONFIG for domain 0000 [bus 00-3f] at [mem 0xe0000000-0xe3ffffff] (base 0xe0000000)
[    0.138228] PCI: not using MMCONFIG
[    0.138234] PCI: Using configuration type 1 for base access
[    0.146657] ACPI: Added _OSI(Module Device)
[    0.146667] ACPI: Added _OSI(Processor Device)
[    0.146674] ACPI: Added _OSI(3.0 _SCP Extensions)
[    0.146680] ACPI: Added _OSI(Processor Aggregator Device)
[    0.150843] ACPI Error: [\_PR_.CPU0._PPC] Namespace lookup failure, AE_NOT_FOUND (20150930/psargs-359)
[    0.150862] ACPI Error: Method parse/execution failed [\_SB.PCI0.LPCB.EC0.IPCL] (Node ffff88017b0c4798), AE_NOT_FOUND (20150930/psparse-542)
[    0.150884] ACPI Error: Method parse/execution failed [\_SB.PCI0.LPCB.EC0.PCLK] (Node ffff88017b0c47e8), AE_NOT_FOUND (20150930/psparse-542)
[    0.150904] ACPI Error: Method parse/execution failed [\_SB.TBSW] (Node ffff88017b0c41d0), AE_NOT_FOUND (20150930/psparse-542)
[    0.150922] ACPI Error: Method parse/execution failed [\_SB.PCI0.LPCB.EC0._Q1D] (Node ffff88017b0c40b8), AE_NOT_FOUND (20150930/psparse-542)
[    0.150941] ACPI Error: Method parse/execution failed [\_SB.PCI0.LPCB.EC0._REG] (Node ffff88017b0c1658), AE_NOT_FOUND (20150930/psparse-542)
[    0.151211] ACPI Error: [\_PR_.CPU0._PPC] Namespace lookup failure, AE_NOT_FOUND (20150930/psargs-359)
[    0.151228] ACPI Error: Method parse/execution failed [\_SB.PCI0.LPCB.EC0.IPCL] (Node ffff88017b0c4798), AE_NOT_FOUND (20150930/psparse-542)
[    0.151249] ACPI Error: Method parse/execution failed [\_SB.PCI0.LPCB.EC0.PCLK] (Node ffff88017b0c47e8), AE_NOT_FOUND (20150930/psparse-542)
[    0.151268] ACPI Error: Method parse/execution failed [\_SB.TBSW] (Node ffff88017b0c41d0), AE_NOT_FOUND (20150930/psparse-542)
[    0.151286] ACPI Error: Method parse/execution failed [\_SB.PCI0.LPCB.EC0._Q1D] (Node ffff88017b0c40b8), AE_NOT_FOUND (20150930/psparse-542)
[    0.151305] ACPI Error: Method parse/execution failed [\_SB.PCI0.LPCB.EC0._REG] (Node ffff88017b0c1658), AE_NOT_FOUND (20150930/psparse-542)
[    0.161920] ACPI: Dynamic OEM Table Load:
[    0.161942] ACPI: SSDT 0xFFFF88017B09F800 0004C4 (v01 PmRef  Cpu0Ist  00003000 INTL 20130117)
[    0.163155] ACPI: Dynamic OEM Table Load:
[    0.163171] ACPI: SSDT 0xFFFF88017B09F000 000433 (v01 PmRef  Cpu0Cst  00003001 INTL 20130117)
[    0.164870] ACPI: Dynamic OEM Table Load:
[    0.164885] ACPI: SSDT 0xFFFF88017A5CE000 00015F (v01 PmRef  ApIst    00003000 INTL 20130117)
[    0.166056] ACPI: Dynamic OEM Table Load:
[    0.166071] ACPI: SSDT 0xFFFF88017A608DC0 00008D (v01 PmRef  ApCst    00003000 INTL 20130117)
[    0.167800] ACPI : EC: EC started
[    0.934553] ACPI: Interpreter enabled
[    0.934571] ACPI Exception: AE_NOT_FOUND, While evaluating Sleep State [\_S1_] (20150930/hwxface-580)
[    0.934590] ACPI Exception: AE_NOT_FOUND, While evaluating Sleep State [\_S2_] (20150930/hwxface-580)
[    0.934632] ACPI: (supports S0 S3 S4 S5)
[    0.934639] ACPI: Using IOAPIC for interrupt routing
[    0.934714] PCI: MMCONFIG for domain 0000 [bus 00-3f] at [mem 0xe0000000-0xe3ffffff] (base 0xe0000000)
[    0.935680] PCI: MMCONFIG at [mem 0xe0000000-0xe3ffffff] reserved in ACPI motherboard resources
[    0.935708] PCI: Using host bridge windows from ACPI; if necessary, use "pci=nocrs" and report a bug
[    1.041320] ACPI: Power Resource [USBC] (on)
[    1.047326] ACPI: Power Resource [PLPE] (on)
[    1.047673] ACPI: Power Resource [PLPE] (on)
[    1.055833] ACPI: Power Resource [CLK0] (on)
[    1.055929] ACPI: Power Resource [CLK1] (on)
[    1.130493] ACPI: Power Resource [FN00] (off)
[    1.130767] ACPI: Power Resource [FN01] (off)
[    1.131009] ACPI: Power Resource [FN02] (off)
[    1.131250] ACPI: Power Resource [FN03] (off)
[    1.131490] ACPI: Power Resource [FN04] (off)
[    1.132796] ACPI: PCI Root Bridge [PCI0] (domain 0000 [bus 00-ff])
[    1.132813] acpi PNP0A08:00: _OSC: OS supports [ExtendedConfig ASPM ClockPM Segments MSI]
[    1.132915] \_SB_.PCI0:_OSC invalid UUID
[    1.132917] _OSC request data:1 1f 0 
[    1.132925] acpi PNP0A08:00: _OSC failed (AE_ERROR); disabling ASPM
[    1.132955] acpi PNP0A08:00: [Firmware Info]: MMCONFIG for domain 0000 [bus 00-3f] only partially covers this bridge
[    1.133596] PCI host bridge to bus 0000:00
[    1.133607] pci_bus 0000:00: root bus resource [io  0x0070-0x0077]
[    1.133616] pci_bus 0000:00: root bus resource [io  0x0000-0x006f window]
[    1.133625] pci_bus 0000:00: root bus resource [io  0x0078-0x0cf7 window]
[    1.133633] pci_bus 0000:00: root bus resource [io  0x0d00-0xffff window]
[    1.133642] pci_bus 0000:00: root bus resource [mem 0x000a0000-0x000bffff window]
[    1.133653] pci_bus 0000:00: root bus resource [mem 0x000c0000-0x000dffff window]
[    1.133664] pci_bus 0000:00: root bus resource [mem 0x000e0000-0x000fffff window]
[    1.133675] pci_bus 0000:00: root bus resource [mem 0x80000000-0x90affffe window]
[    1.133687] pci_bus 0000:00: root bus resource [bus 00-ff]
[    1.133705] pci 0000:00:00.0: [8086:0f00] type 00 class 0x060000
[    1.133897] pci 0000:00:02.0: [8086:0f31] type 00 class 0x030000
[    1.133920] pci 0000:00:02.0: reg 0x10: [mem 0x90000000-0x903fffff]
[    1.133933] pci 0000:00:02.0: reg 0x18: [mem 0x80000000-0x8fffffff pref]
[    1.133946] pci 0000:00:02.0: reg 0x20: [io  0x2050-0x2057]
[    1.134143] pci 0000:00:13.0: [8086:0f23] type 00 class 0x010601
[    1.134174] pci 0000:00:13.0: reg 0x10: [io  0x2048-0x204f]
[    1.134185] pci 0000:00:13.0: reg 0x14: [io  0x205c-0x205f]
[    1.134196] pci 0000:00:13.0: reg 0x18: [io  0x2040-0x2047]
[    1.134207] pci 0000:00:13.0: reg 0x1c: [io  0x2058-0x205b]
[    1.134218] pci 0000:00:13.0: reg 0x20: [io  0x2020-0x203f]
[    1.134230] pci 0000:00:13.0: reg 0x24: [mem 0x90a1e000-0x90a1e7ff]
[    1.134271] pci 0000:00:13.0: PME# supported from D3hot
[    1.134432] pci 0000:00:14.0: [8086:0f35] type 00 class 0x0c0330
[    1.134462] pci 0000:00:14.0: reg 0x10: [mem 0x90a00000-0x90a0ffff 64bit]
[    1.134520] pci 0000:00:14.0: PME# supported from D3hot D3cold
[    1.134650] pci 0000:00:14.0: System wakeup disabled by ACPI
[    1.134748] pci 0000:00:1a.0: [8086:0f18] type 00 class 0x108000
[    1.134790] pci 0000:00:1a.0: reg 0x10: [mem 0x90900000-0x909fffff]
[    1.134805] pci 0000:00:1a.0: reg 0x14: [mem 0x90800000-0x908fffff]
[    1.134899] pci 0000:00:1a.0: PME# supported from D0 D3hot
[    1.135063] pci 0000:00:1b.0: [8086:0f04] type 00 class 0x040300
[    1.135097] pci 0000:00:1b.0: reg 0x10: [mem 0x90a10000-0x90a13fff 64bit]
[    1.135166] pci 0000:00:1b.0: PME# supported from D0 D3hot D3cold
[    1.135323] pci 0000:00:1c.0: [8086:0f48] type 01 class 0x060400
[    1.135391] pci 0000:00:1c.0: PME# supported from D0 D3hot D3cold
[    1.135477] pci 0000:00:1c.0: System wakeup disabled by ACPI
[    1.135565] pci 0000:00:1c.1: [8086:0f4a] type 01 class 0x060400
[    1.135633] pci 0000:00:1c.1: PME# supported from D0 D3hot D3cold
[    1.135722] pci 0000:00:1c.1: System wakeup disabled by ACPI
[    1.135810] pci 0000:00:1c.2: [8086:0f4c] type 01 class 0x060400
[    1.135878] pci 0000:00:1c.2: PME# supported from D0 D3hot D3cold
[    1.135967] pci 0000:00:1c.2: System wakeup disabled by ACPI
[    1.136055] pci 0000:00:1c.3: [8086:0f4e] type 01 class 0x060400
[    1.136123] pci 0000:00:1c.3: PME# supported from D0 D3hot D3cold
[    1.136209] pci 0000:00:1c.3: System wakeup disabled by ACPI
[    1.136304] pci 0000:00:1f.0: [8086:0f1c] type 00 class 0x060100
[    1.136531] pci 0000:00:1f.3: [8086:0f12] type 00 class 0x0c0500
[    1.136582] pci 0000:00:1f.3: reg 0x10: [mem 0x90a18000-0x90a1801f]
[    1.136655] pci 0000:00:1f.3: reg 0x20: [io  0x2000-0x201f]
[    1.136955] pci 0000:00:1c.0: PCI bridge to [bus 01]
[    1.137069] pci 0000:02:00.0: [1814:3290] type 00 class 0x028000
[    1.137107] pci 0000:02:00.0: reg 0x10: [mem 0x90710000-0x9071ffff]
[    1.137218] pci 0000:02:00.0: PME# supported from D0 D3hot
[    1.137270] pci 0000:02:00.0: System wakeup disabled by ACPI
[    1.137369] pci 0000:02:00.1: [1814:3298] type 00 class 0x0d1100
[    1.137406] pci 0000:02:00.1: reg 0x10: [mem 0x90700000-0x9070ffff]
[    1.137517] pci 0000:02:00.1: supports D1
[    1.137521] pci 0000:02:00.1: PME# supported from D0 D1 D3hot
[    1.142619] pci 0000:00:1c.1: PCI bridge to [bus 02]
[    1.142633] pci 0000:00:1c.1:   bridge window [mem 0x90700000-0x907fffff]
[    1.142756] pci 0000:03:00.0: [10ec:5227] type 00 class 0xff0000
[    1.142799] pci 0000:03:00.0: reg 0x10: [mem 0x90600000-0x90600fff]
[    1.142930] pci 0000:03:00.0: supports D1 D2
[    1.142934] pci 0000:03:00.0: PME# supported from D1 D2 D3hot D3cold
[    1.142999] pci 0000:03:00.0: System wakeup disabled by ACPI
[    1.150617] pci 0000:00:1c.2: PCI bridge to [bus 03]
[    1.150630] pci 0000:00:1c.2:   bridge window [mem 0x90600000-0x906fffff]
[    1.150754] pci 0000:04:00.0: [10ec:8136] type 00 class 0x020000
[    1.150801] pci 0000:04:00.0: reg 0x10: [io  0x1000-0x10ff]
[    1.150835] pci 0000:04:00.0: reg 0x18: [mem 0x90500000-0x90500fff 64bit]
[    1.150859] pci 0000:04:00.0: reg 0x20: [mem 0x90400000-0x90403fff 64bit pref]
[    1.150955] pci 0000:04:00.0: supports D1 D2
[    1.150959] pci 0000:04:00.0: PME# supported from D0 D1 D2 D3hot D3cold
[    1.151069] pci 0000:04:00.0: System wakeup disabled by ACPI
[    1.158627] pci 0000:00:1c.3: PCI bridge to [bus 04]
[    1.158638] pci 0000:00:1c.3:   bridge window [io  0x1000-0x1fff]
[    1.158644] pci 0000:00:1c.3:   bridge window [mem 0x90500000-0x905fffff]
[    1.158651] pci 0000:00:1c.3:   bridge window [mem 0x90400000-0x904fffff 64bit pref]
[    1.211517] ACPI: PCI Interrupt Link [LNKA] (IRQs 3 4 5 6 10 11 12 14 15) *0, disabled.
[    1.211672] ACPI: PCI Interrupt Link [LNKB] (IRQs 3 4 5 6 10 11 12 14 15) *0, disabled.
[    1.211825] ACPI: PCI Interrupt Link [LNKC] (IRQs 3 4 5 6 10 11 12 14 15) *0, disabled.
[    1.211977] ACPI: PCI Interrupt Link [LNKD] (IRQs 3 4 5 6 10 11 12 14 15) *0, disabled.
[    1.212128] ACPI: PCI Interrupt Link [LNKE] (IRQs 3 4 5 6 10 11 12 14 15) *0, disabled.
[    1.212279] ACPI: PCI Interrupt Link [LNKF] (IRQs 3 4 5 6 10 11 12 14 15) *0, disabled.
[    1.212430] ACPI: PCI Interrupt Link [LNKG] (IRQs 3 4 5 6 10 11 12 14 15) *0, disabled.
[    1.212583] ACPI: PCI Interrupt Link [LNKH] (IRQs 3 4 5 6 10 11 12 14 15) *0, disabled.
[    1.217764] ACPI: Enabled 4 GPEs in block 00 to 3F
[    1.218048] ACPI : EC: GPE = 0x18, I/O: command/status = 0x66, data = 0x62
[    1.218279] vgaarb: setting as boot device: PCI:0000:00:02.0
[    1.218288] vgaarb: device added: PCI:0000:00:02.0,decodes=io+mem,owns=io+mem,locks=none
[    1.218302] vgaarb: loaded
[    1.218309] vgaarb: bridge control possible 0000:00:02.0
[    1.218601] PCI: Using ACPI for IRQ routing
[    1.220103] PCI: pci_cache_line_size set to 64 bytes
[    1.220174] e820: reserve RAM buffer [mem 0x0006f000-0x0006ffff]
[    1.220178] e820: reserve RAM buffer [mem 0x00086000-0x0008ffff]
[    1.220181] e820: reserve RAM buffer [mem 0x1f000000-0x1fffffff]
[    1.220184] e820: reserve RAM buffer [mem 0x7840d000-0x7bffffff]
[    1.220187] e820: reserve RAM buffer [mem 0x7a000000-0x7bffffff]
[    1.220488] clocksource: Switched to clocksource refined-jiffies
[    1.233064] pnp: PnP ACPI init
[    1.233192] pnp 00:00: Plug and Play ACPI device, IDs PNP0b00 (active)
[    1.233346] system 00:01: [io  0x0680-0x069f] has been reserved
[    1.233357] system 00:01: [io  0x0400-0x047f] has been reserved
[    1.233367] system 00:01: [io  0x0500-0x05fe] has been reserved
[    1.233375] system 00:01: [io  0x0600-0x061f] has been reserved
[    1.233385] system 00:01: [mem 0xfed40000-0xfed44fff] has been reserved
[    1.233396] system 00:01: Plug and Play ACPI device, IDs PNP0c02 (active)
[    1.233597] pnp 00:02: Plug and Play ACPI device, IDs PNP0501 (active)
[    1.233677] pnp 00:03: Plug and Play ACPI device, IDs PNP0303 (active)
[    1.233753] pnp 00:04: Plug and Play ACPI device, IDs SYN1eb1 PNP0f13 (active)
[    1.283356] system 00:05: [mem 0xe0000000-0xefffffff] could not be reserved
[    1.283368] system 00:05: [mem 0xfed01000-0xfed01fff] has been reserved
[    1.283377] system 00:05: [mem 0xfed03000-0xfed03fff] has been reserved
[    1.283387] system 00:05: [mem 0xfed04000-0xfed04fff] has been reserved
[    1.283396] system 00:05: [mem 0xfed0c000-0xfed0ffff] could not be reserved
[    1.283406] system 00:05: [mem 0xfed08000-0xfed08fff] has been reserved
[    1.283415] system 00:05: [mem 0xfed1c000-0xfed1cfff] has been reserved
[    1.283424] system 00:05: [mem 0xfee00000-0xfeefffff] has been reserved
[    1.283433] system 00:05: [mem 0xfef00000-0xfeffffff] has been reserved
[    1.283444] system 00:05: Plug and Play ACPI device, IDs PNP0c02 (active)
[    1.285641] pnp: PnP ACPI: found 6 devices
[    1.294247] clocksource: acpi_pm: mask: 0xffffff max_cycles: 0xffffff, max_idle_ns: 2085701024 ns
[    1.294281] clocksource: Switched to clocksource acpi_pm
[    1.294311] pci 0000:00:1c.0: bridge window [io  0x1000-0x0fff] to [bus 01] add_size 1000
[    1.294318] pci 0000:00:1c.0: bridge window [mem 0x00100000-0x000fffff 64bit pref] to [bus 01] add_size 200000 add_align 100000
[    1.294323] pci 0000:00:1c.0: bridge window [mem 0x00100000-0x000fffff] to [bus 01] add_size 200000 add_align 100000
[    1.294334] pci 0000:00:1c.1: bridge window [io  0x1000-0x0fff] to [bus 02] add_size 1000
[    1.294339] pci 0000:00:1c.1: bridge window [mem 0x00100000-0x000fffff 64bit pref] to [bus 02] add_size 200000 add_align 100000
[    1.294350] pci 0000:00:1c.2: bridge window [io  0x1000-0x0fff] to [bus 03] add_size 1000
[    1.294355] pci 0000:00:1c.2: bridge window [mem 0x00100000-0x000fffff 64bit pref] to [bus 03] add_size 200000 add_align 100000
[    1.294375] pci 0000:00:1c.0: res[14]=[mem 0x00100000-0x000fffff] res_to_dev_res add_size 200000 min_align 100000
[    1.294380] pci 0000:00:1c.0: res[14]=[mem 0x00100000-0x002fffff] res_to_dev_res add_size 200000 min_align 100000
[    1.294385] pci 0000:00:1c.0: res[15]=[mem 0x00100000-0x000fffff 64bit pref] res_to_dev_res add_size 200000 min_align 100000
[    1.294389] pci 0000:00:1c.0: res[15]=[mem 0x00100000-0x002fffff 64bit pref] res_to_dev_res add_size 200000 min_align 100000
[    1.294394] pci 0000:00:1c.1: res[15]=[mem 0x00100000-0x000fffff 64bit pref] res_to_dev_res add_size 200000 min_align 100000
[    1.294398] pci 0000:00:1c.1: res[15]=[mem 0x00100000-0x002fffff 64bit pref] res_to_dev_res add_size 200000 min_align 100000
[    1.294402] pci 0000:00:1c.2: res[15]=[mem 0x00100000-0x000fffff 64bit pref] res_to_dev_res add_size 200000 min_align 100000
[    1.294407] pci 0000:00:1c.2: res[15]=[mem 0x00100000-0x002fffff 64bit pref] res_to_dev_res add_size 200000 min_align 100000
[    1.294411] pci 0000:00:1c.0: res[13]=[io  0x1000-0x0fff] res_to_dev_res add_size 1000 min_align 1000
[    1.294415] pci 0000:00:1c.0: res[13]=[io  0x1000-0x1fff] res_to_dev_res add_size 1000 min_align 1000
[    1.294419] pci 0000:00:1c.1: res[13]=[io  0x1000-0x0fff] res_to_dev_res add_size 1000 min_align 1000
[    1.294423] pci 0000:00:1c.1: res[13]=[io  0x1000-0x1fff] res_to_dev_res add_size 1000 min_align 1000
[    1.294427] pci 0000:00:1c.2: res[13]=[io  0x1000-0x0fff] res_to_dev_res add_size 1000 min_align 1000
[    1.294432] pci 0000:00:1c.2: res[13]=[io  0x1000-0x1fff] res_to_dev_res add_size 1000 min_align 1000
[    1.294442] pci 0000:00:1c.0: BAR 14: no space for [mem size 0x00200000]
[    1.294451] pci 0000:00:1c.0: BAR 14: failed to assign [mem size 0x00200000]
[    1.294466] pci 0000:00:1c.0: BAR 15: no space for [mem size 0x00200000 64bit pref]
[    1.294478] pci 0000:00:1c.0: BAR 15: failed to assign [mem size 0x00200000 64bit pref]
[    1.294495] pci 0000:00:1c.1: BAR 15: no space for [mem size 0x00200000 64bit pref]
[    1.294506] pci 0000:00:1c.1: BAR 15: failed to assign [mem size 0x00200000 64bit pref]
[    1.294522] pci 0000:00:1c.2: BAR 15: no space for [mem size 0x00200000 64bit pref]
[    1.294534] pci 0000:00:1c.2: BAR 15: failed to assign [mem size 0x00200000 64bit pref]
[    1.294548] pci 0000:00:1c.0: BAR 13: assigned [io  0x3000-0x3fff]
[    1.294558] pci 0000:00:1c.1: BAR 13: assigned [io  0x4000-0x4fff]
[    1.294568] pci 0000:00:1c.2: BAR 13: assigned [io  0x5000-0x5fff]
[    1.294584] pci 0000:00:1c.2: BAR 15: no space for [mem size 0x00200000 64bit pref]
[    1.294595] pci 0000:00:1c.2: BAR 15: failed to assign [mem size 0x00200000 64bit pref]
[    1.294612] pci 0000:00:1c.1: BAR 15: no space for [mem size 0x00200000 64bit pref]
[    1.294623] pci 0000:00:1c.1: BAR 15: failed to assign [mem size 0x00200000 64bit pref]
[    1.294636] pci 0000:00:1c.0: BAR 14: no space for [mem size 0x00200000]
[    1.294645] pci 0000:00:1c.0: BAR 14: failed to assign [mem size 0x00200000]
[    1.294658] pci 0000:00:1c.0: BAR 15: no space for [mem size 0x00200000 64bit pref]
[    1.294669] pci 0000:00:1c.0: BAR 15: failed to assign [mem size 0x00200000 64bit pref]
[    1.294682] pci 0000:00:1c.0: PCI bridge to [bus 01]
[    1.294691] pci 0000:00:1c.0:   bridge window [io  0x3000-0x3fff]
[    1.294708] pci 0000:00:1c.1: PCI bridge to [bus 02]
[    1.294716] pci 0000:00:1c.1:   bridge window [io  0x4000-0x4fff]
[    1.294750] pci 0000:00:1c.1:   bridge window [mem 0x90700000-0x907fffff]
[    1.294765] pci 0000:00:1c.2: PCI bridge to [bus 03]
[    1.294774] pci 0000:00:1c.2:   bridge window [io  0x5000-0x5fff]
[    1.294784] pci 0000:00:1c.2:   bridge window [mem 0x90600000-0x906fffff]
[    1.294798] pci 0000:00:1c.3: PCI bridge to [bus 04]
[    1.294807] pci 0000:00:1c.3:   bridge window [io  0x1000-0x1fff]
[    1.294817] pci 0000:00:1c.3:   bridge window [mem 0x90500000-0x905fffff]
[    1.294827] pci 0000:00:1c.3:   bridge window [mem 0x90400000-0x904fffff 64bit pref]
[    1.294842] pci_bus 0000:00: resource 4 [io  0x0070-0x0077]
[    1.294846] pci_bus 0000:00: resource 5 [io  0x0000-0x006f window]
[    1.294850] pci_bus 0000:00: resource 6 [io  0x0078-0x0cf7 window]
[    1.294854] pci_bus 0000:00: resource 7 [io  0x0d00-0xffff window]
[    1.294858] pci_bus 0000:00: resource 8 [mem 0x000a0000-0x000bffff window]
[    1.294861] pci_bus 0000:00: resource 9 [mem 0x000c0000-0x000dffff window]
[    1.294865] pci_bus 0000:00: resource 10 [mem 0x000e0000-0x000fffff window]
[    1.294869] pci_bus 0000:00: resource 11 [mem 0x80000000-0x90affffe window]
[    1.294873] pci_bus 0000:01: resource 0 [io  0x3000-0x3fff]
[    1.294877] pci_bus 0000:02: resource 0 [io  0x4000-0x4fff]
[    1.294880] pci_bus 0000:02: resource 1 [mem 0x90700000-0x907fffff]
[    1.294884] pci_bus 0000:03: resource 0 [io  0x5000-0x5fff]
[    1.294888] pci_bus 0000:03: resource 1 [mem 0x90600000-0x906fffff]
[    1.294892] pci_bus 0000:04: resource 0 [io  0x1000-0x1fff]
[    1.294895] pci_bus 0000:04: resource 1 [mem 0x90500000-0x905fffff]
[    1.294899] pci_bus 0000:04: resource 2 [mem 0x90400000-0x904fffff 64bit pref]
[    1.294999] NET: Registered protocol family 2
[    1.295327] TCP established hash table entries: 32768 (order: 6, 262144 bytes)
[    1.295477] TCP bind hash table entries: 32768 (order: 7, 524288 bytes)
[    1.295633] TCP: Hash tables configured (established 32768 bind 32768)
[    1.295708] UDP hash table entries: 2048 (order: 4, 65536 bytes)
[    1.295755] UDP-Lite hash table entries: 2048 (order: 4, 65536 bytes)
[    1.295919] NET: Registered protocol family 1
[    1.295958] pci 0000:00:02.0: Video device with shadowed ROM
[    1.296051] PCI: CLS 64 bytes, default 64
[    1.296160] Unpacking initramfs...
[    1.763302] Freeing initrd memory: 16996K (ffff880035ebe000 - ffff880036f57000)
[    1.763371] PCI-DMA: Using software bounce buffering for IO (SWIOTLB)
[    1.763382] software IO TLB [mem 0x72879000-0x76879000] (64MB) mapped at [ffff880072879000-ffff880076878fff]
[    1.763710] simple-framebuffer simple-framebuffer.0: framebuffer at 0x80000000, 0x408000 bytes, mapped to 0xffffc90000800000
[    1.763725] simple-framebuffer simple-framebuffer.0: format=a8r8g8b8, mode=1366x768x32, linelength=5504
[    1.770040] Console: switching to colour frame buffer device 170x48
[    1.776134] simple-framebuffer simple-framebuffer.0: fb0: simplefb registered!
[    1.776747] futex hash table entries: 1024 (order: 4, 65536 bytes)
[    1.776864] audit: initializing netlink subsys (disabled)
[    1.776950] audit: type=2000 audit(1457888453.767:1): initialized
[    1.777782] HugeTLB registered 2 MB page size, pre-allocated 0 pages
[    1.777879] zbud: loaded
[    1.778116] VFS: Disk quotas dquot_6.6.0
[    1.778185] VFS: Dquot-cache hash table entries: 512 (order 0, 4096 bytes)
[    1.779308] Block layer SCSI generic (bsg) driver version 0.4 loaded (major 252)
[    1.779452] io scheduler noop registered
[    1.779496] io scheduler deadline registered
[    1.779563] io scheduler cfq registered (default)
[    1.780417] pci_hotplug: PCI Hot Plug PCI Core version: 0.5
[    1.780485] pciehp: PCI Express Hot Plug Controller Driver version: 0.4
[    1.780602] intel_idle: MWAIT substates: 0x33000020
[    1.780605] intel_idle: v0.4 model 0x37
[    1.780608] intel_idle: lapic_timer_reliable_states 0xffffffff
[    1.780849] GHES: HEST is not enabled!
[    1.781039] Serial: 8250/16550 driver, 4 ports, IRQ sharing enabled
[    1.801237] 00:02: ttyS0 at I/O 0x3f8 (irq = 4, base_baud = 115200) is a 16550A
[    1.802878] hpet: number irqs doesn't agree with number of timers
[    1.802984] Linux agpgart interface v0.103
[    1.803121] AMD IOMMUv2 driver by Joerg Roedel <jroedel@suse.de>
[    1.803179] AMD IOMMUv2 functionality not available on this system
[    1.803688] i8042: PNP: PS/2 Controller [PNP0303:PS2K,PNP0f13:PS2M] at 0x60,0x64 irq 1,12
[    1.832728] serio: i8042 KBD port at 0x60,0x64 irq 1
[    1.834905] serio: i8042 AUX port at 0x60,0x64 irq 12
[    1.837719] mousedev: PS/2 mouse device common for all mice
[    1.839996] rtc_cmos 00:00: RTC can wake from S4
[    1.842445] rtc_cmos 00:00: rtc core: registered rtc_cmos as rtc0
[    1.844685] rtc_cmos 00:00: alarms up to one month, y3k, 242 bytes nvram
[    1.846891] Intel P-state driver initializing.
[    1.849424] ledtrig-cpu: registered to indicate activity on CPUs
[    1.859614] NET: Registered protocol family 10
[    1.863245] mip6: Mobile IPv6
[    1.870963] NET: Registered protocol family 17
[    1.873669] mpls_gso: MPLS GSO support
[    1.877038] microcode: CPU0 sig=0x30673, pf=0x8, revision=0x322
[    1.879077] microcode: CPU1 sig=0x30673, pf=0x8, revision=0x322
[    1.881845] microcode: Microcode Update Driver: v2.01 <tigran@aivazian.fsnet.co.uk>, Peter Oruba
[    1.882351] input: AT Translated Set 2 keyboard as /devices/platform/i8042/serio0/input/input0
[    1.886747] registered taskstats version 1
[    1.888680] zswap: loaded using pool lzo/zbud
[    1.891367] rtc_cmos 00:00: setting system clock to 2016-03-13 17:00:54 UTC (1457888454)
[    1.893411] PM: Hibernation image not present or could not be loaded.
[    1.899234] Freeing unused kernel memory: 1296K (ffffffff81b0b000 - ffffffff81c4f000)
[    1.901142] Write protecting the kernel read-only data: 10240k
[    1.903788] Freeing unused kernel memory: 468K (ffff88000178b000 - ffff880001800000)
[    1.911310] Freeing unused kernel memory: 1296K (ffff880001abc000 - ffff880001c00000)
[    1.913198] ------------[ cut here ]------------
[    1.915075] WARNING: CPU: 1 PID: 1 at /build/linux-tEELBQ/linux-4.4/arch/x86/mm/dump_pagetables.c:225 note_page+0x5e1/0x790()
[    1.916996] x86/mm: Found insecure W+X mapping at address ffff880000088000/0xffff880000088000
[    1.918933] Modules linked in:
[    1.920835] CPU: 1 PID: 1 Comm: swapper/0 Not tainted 4.4.0-trunk-amd64 #1 Debian 4.4-1~exp1
[    1.922787] Hardware name: Hewlett-Packard HP Pavilion 11 x360 PC/2209, BIOS F.27 04/01/2015
[    1.924775]  0000000000000000 00000000e6b19f03 ffffffff812e5fb9 ffff88017aba3de0
[    1.926771]  ffffffff810762ad ffff88017aba3ed0 ffff88017aba3e38 0000000000000004
[    1.928780]  0000000000000000 ffff88017aba3ed0 ffffffff8107633c ffffffff817f1538
[    1.930789] Call Trace:
[    1.932775]  [<ffffffff812e5fb9>] ? dump_stack+0x40/0x57
[    1.934752]  [<ffffffff810762ad>] ? warn_slowpath_common+0x7d/0xb0
[    1.936732]  [<ffffffff8107633c>] ? warn_slowpath_fmt+0x5c/0x80
[    1.938696]  [<ffffffff810c6a63>] ? vprintk_emit+0x373/0x540
[    1.940675]  [<ffffffff81069181>] ? note_page+0x5e1/0x790
[    1.942631]  [<ffffffff81069610>] ? ptdump_walk_pgd_level_core+0x2e0/0x420
[    1.944601]  [<ffffffff81577a60>] ? rest_init+0x80/0x80
[    1.946537]  [<ffffffff81577a79>] ? kernel_init+0x19/0xe0
[    1.948471]  [<ffffffff81583dcf>] ? ret_from_fork+0x3f/0x70
[    1.950369]  [<ffffffff81577a60>] ? rest_init+0x80/0x80
[    1.952250] ---[ end trace 46e5f98d3529eea5 ]---
[    1.968623] x86/mm: Checked W+X mappings: FAILED, 24956 W+X pages found.
[    1.993054] random: systemd-udevd urandom read with 2 bits of entropy available
[    2.057547] sdhci: Secure Digital Host Controller Interface driver
[    2.059543] sdhci: Copyright(c) Pierre Ossman
[    2.061628] hidraw: raw HID events driver (C) Jiri Kosina
[    2.089534] thermal LNXTHERM:00: registered as thermal_zone0
[    2.091492] ACPI: Thermal Zone [TZ00] (30 C)
[    2.094602] thermal LNXTHERM:01: registered as thermal_zone1
[    2.096586] ACPI: Thermal Zone [TZ01] (30 C)
[    2.099273] thermal LNXTHERM:02: registered as thermal_zone2
[    2.101195] ACPI: Thermal Zone [TZ02] (28 C)
[    2.106091] ACPI: bus type USB registered
[    2.108721] usbcore: registered new interface driver usbfs
[    2.108980] rtsx_pci 0000:03:00.0: rtsx_pci_acquire_irq: pcr->msi_en = 1, pci->irq = 261
[    2.110951] SCSI subsystem initialized
[    2.116724] r8169 Gigabit Ethernet driver 2.3LK-NAPI loaded
[    2.118729] r8169 0000:04:00.0: can't disable ASPM; OS doesn't have ASPM control
[    2.122426] r8169 0000:04:00.0 eth0: RTL8106e at 0xffffc90000670000, a0:2b:b8:3a:4e:ce, XID 04900000 IRQ 262
[    2.124874] usbcore: registered new interface driver hub
[    2.127294] usbcore: registered new device driver usb
[    2.134837] xhci_hcd 0000:00:14.0: xHCI Host Controller
[    2.135408] libata version 3.00 loaded.
[    2.137151] xhci_hcd 0000:00:14.0: new USB bus registered, assigned bus number 1
[    2.140794] xhci_hcd 0000:00:14.0: hcc params 0x200077c1 hci version 0x100 quirks 0x00009810
[    2.142723] xhci_hcd 0000:00:14.0: cache line size of 64 is not supported
[    2.143319] usb usb1: New USB device found, idVendor=1d6b, idProduct=0002
[    2.145284] usb usb1: New USB device strings: Mfr=3, Product=2, SerialNumber=1
[    2.147253] usb usb1: Product: xHCI Host Controller
[    2.149145] usb usb1: Manufacturer: Linux 4.4.0-trunk-amd64 xhci-hcd
[    2.150991] usb usb1: SerialNumber: 0000:00:14.0
[    2.153203] hub 1-0:1.0: USB hub found
[    2.155010] hub 1-0:1.0: 6 ports detected
[    2.157765] xhci_hcd 0000:00:14.0: xHCI Host Controller
[    2.159558] xhci_hcd 0000:00:14.0: new USB bus registered, assigned bus number 2
[    2.161483] usb usb2: New USB device found, idVendor=1d6b, idProduct=0003
[    2.163264] usb usb2: New USB device strings: Mfr=3, Product=2, SerialNumber=1
[    2.164998] usb usb2: Product: xHCI Host Controller
[    2.166717] usb usb2: Manufacturer: Linux 4.4.0-trunk-amd64 xhci-hcd
[    2.168495] usb usb2: SerialNumber: 0000:00:14.0
[    2.170583] hub 2-0:1.0: USB hub found
[    2.172385] hub 2-0:1.0: 1 port detected
[    2.174552] ahci 0000:00:13.0: version 3.0
[    2.174602] ahci 0000:00:13.0: controller can't do DEVSLP, turning off
[    2.191258] ahci 0000:00:13.0: AHCI 0001.0300 32 slots 2 ports 3 Gbps 0x1 impl SATA mode
[    2.193054] ahci 0000:00:13.0: flags: 64bit ncq pm led clo pio slum part deso 
[    2.201587] scsi host0: ahci
[    2.205065] scsi host1: ahci
[    2.207024] ata1: SATA max UDMA/133 abar m2048@0x90a1e000 port 0x90a1e100 irq 264
[    2.208845] ata2: DUMMY
[    2.467957] usb 1-3: new high-speed USB device number 2 using xhci_hcd
[    2.528061] ata1: SATA link up 3.0 Gbps (SStatus 123 SControl 300)
[    2.542470] ata1.00: ATA-8: ST500LT012-1DG142, 1002YAM1, max UDMA/133
[    2.546492] ata1.00: 976773168 sectors, multi 16: LBA48 NCQ (depth 31/32), AA
[    2.572161] ata1.00: configured for UDMA/133
[    2.574642] scsi 0:0:0:0: Direct-Access     ATA      ST500LT012-1DG14 YAM1 PQ: 0 ANSI: 5
[    2.580046] sd 0:0:0:0: [sda] 976773168 512-byte logical blocks: (500 GB/465 GiB)
[    2.581903] sd 0:0:0:0: [sda] 4096-byte physical blocks
[    2.583838] sd 0:0:0:0: [sda] Write Protect is off
[    2.585631] sd 0:0:0:0: [sda] Mode Sense: 00 3a 00 00
[    2.585668] sd 0:0:0:0: [sda] Write cache: enabled, read cache: enabled, doesn't support DPO or FUA
[    2.634673]  sda: sda1 sda2 sda3
[    2.638474] sd 0:0:0:0: [sda] Attached SCSI disk
[    2.685025] usb 1-3: New USB device found, idVendor=04f2, idProduct=b40e
[    2.687108] usb 1-3: New USB device strings: Mfr=2, Product=1, SerialNumber=0
[    2.688990] usb 1-3: Product: HP Truevision HD
[    2.690806] usb 1-3: Manufacturer: Chicony Electronics Co., Ltd.
[    2.763787] tsc: Refined TSC clocksource calibration: 2133.332 MHz
[    2.766510] clocksource: tsc: mask: 0xffffffffffffffff max_cycles: 0x1ec03017d33, max_idle_ns: 440795287231 ns
[    2.811847] usb 1-4: new high-speed USB device number 3 using xhci_hcd
[    2.996251] usb 1-4: New USB device found, idVendor=1a40, idProduct=0101
[    2.998091] usb 1-4: New USB device strings: Mfr=0, Product=1, SerialNumber=0
[    2.999944] usb 1-4: Product: USB 2.0 Hub
[    3.002633] hub 1-4:1.0: USB hub found
[    3.004536] hub 1-4:1.0: 4 ports detected
[    3.146455] PM: Starting manual resume from disk
[    3.148357] PM: Hibernation image partition 8:3 present
[    3.148360] PM: Looking for hibernation image.
[    3.148878] PM: Image not found (code -22)
[    3.148883] PM: Hibernation image not present or could not be loaded.
[    3.299587] psmouse serio1: synaptics: queried max coordinates: x [..5672], y [..4722]
[    3.345206] EXT4-fs (sda2): mounted filesystem with ordered data mode. Opts: (null)
[    3.366248] psmouse serio1: synaptics: queried min coordinates: x [1380..], y [1192..]
[    3.480627] psmouse serio1: synaptics: Touchpad model: 1, fw: 8.1, id: 0x1e2b1, caps: 0xd00223/0x840300/0x126800/0x0, board id: 2942, fw id: 1590922
[    3.559208] input: SynPS/2 Synaptics TouchPad as /devices/platform/i8042/serio1/input/input2
[    3.769109] clocksource: Switched to clocksource tsc
[    4.404562] random: nonblocking pool is initialized
[    5.119174] systemd[1]: systemd 228 running in system mode. (+PAM +AUDIT +SELINUX +IMA +APPARMOR +SMACK +SYSVINIT +UTMP +LIBCRYPTSETUP +GCRYPT +GNUTLS +ACL +XZ -LZ4 +SECCOMP +BLKID +ELFUTILS +KMOD -IDN)
[    5.124128] systemd[1]: Detected architecture x86-64.
[    5.223158] systemd[1]: Set hostname to <snowball>.
[    7.488021] systemd[1]: Listening on /dev/initctl Compatibility Named Pipe.
[    7.492925] systemd[1]: Listening on Syslog Socket.
[    7.497569] systemd[1]: Reached target Remote File Systems (Pre).
[    7.502526] systemd[1]: Set up automount Arbitrary Executable File Formats File System Automount Point.
[    7.507495] systemd[1]: Listening on Journal Audit Socket.
[    7.512327] systemd[1]: Reached target User and Group Name Lookups.
[    7.517258] systemd[1]: Listening on udev Control Socket.
[    7.522127] systemd[1]: Listening on fsck to fsckd communication Socket.
[    7.526983] systemd[1]: Listening on Journal Socket (/dev/log).
[    7.531869] systemd[1]: Listening on Journal Socket.
[    7.536837] systemd[1]: Started Dispatch Password Requests to Console Directory Watch.
[    7.541967] systemd[1]: Created slice User and Session Slice.
[    7.547027] systemd[1]: Created slice System Slice.
[    7.565365] systemd[1]: Mounting Huge Pages File System...
[    7.571492] systemd[1]: Starting Journal Service...
[    7.576377] systemd[1]: Reached target Slices.
[    7.582175] systemd[1]: Starting Create list of required static device nodes for the current kernel...
[    7.587346] systemd[1]: Created slice system-systemd\x2dfsck.slice.
[    7.592277] systemd[1]: Created slice system-getty.slice.
[    7.597800] systemd[1]: Mounting POSIX Message Queue File System...
[    7.602589] systemd[1]: Listening on udev Kernel Socket.
[    7.644997] systemd[1]: Starting Load Kernel Modules...
[    7.650946] systemd[1]: Started Forward Password Requests to Wall Directory Watch.
[    7.655469] systemd[1]: Reached target Encrypted Volumes.
[    7.659958] systemd[1]: Reached target Remote File Systems.
[    7.665498] systemd[1]: Starting LSB: Set console font and keymap...
[    7.671114] systemd[1]: Mounting Debug File System...
[    7.690471] systemd[1]: Started Create list of required static device nodes for the current kernel.
[    7.696408] systemd[1]: Starting Create Static Device Nodes in /dev...
[    7.746922] systemd[1]: Started Load Kernel Modules.
[    7.797031] systemd[1]: Starting Apply Kernel Variables...
[    8.000855] systemd[1]: Started Apply Kernel Variables.
[    8.239585] systemd[1]: Mounted POSIX Message Queue File System.
[    8.245204] systemd[1]: Mounted Debug File System.
[    8.249602] systemd[1]: Mounted Huge Pages File System.
[    8.454500] systemd[1]: Started Journal Service.
[   10.325402] EXT4-fs (sda2): re-mounted. Opts: errors=remount-ro
[   10.455162] systemd-journald[152]: Received request to flush runtime journal from PID 1
[   10.778725] input: Power Button as /devices/LNXSYSTM:00/LNXSYBUS:00/PNP0C0C:00/input/input3
[   10.780652] ACPI: Power Button [PWRB]
[   10.782628] input: Lid Switch as /devices/LNXSYSTM:00/LNXSYBUS:00/PNP0C0D:00/input/input4
[   10.784655] ACPI: Lid Switch [LID0]
[   10.786655] input: Power Button as /devices/LNXSYSTM:00/LNXPWRBN:00/input/input5
[   10.788595] ACPI: Power Button [PWRF]
[   10.841143] shpchp: Standard Hot Plug PCI Controller Driver version: 0.4
[   10.978407] [drm] Initialized drm 1.1.0 20060810
[   11.249686] Initializing HPQ6001 module
[   11.251717] input: HP Wireless hotkeys as /devices/virtual/input/input6
[   11.282832] dw_dmac INTL9C60:01: DesignWare DMA Controller, 8 channels
[   11.305839] ACPI: AC Adapter [ACAD] (on-line)
[   11.388453] [Firmware Bug]: battery: (dis)charge rate invalid.
[   11.390317] ACPI: Battery Slot [BAT1] (battery present)
[   11.453691] sd 0:0:0:0: Attached scsi generic sg0 type 0
[   11.470584] ACPI Warning: SystemIO range 0x0000000000002000-0x000000000000201F conflicts with OpRegion 0x0000000000002000-0x000000000000200F (\_SB_.PCI0.SBUS.SMBI) (20150930/utaddress-254)
[   11.474521] ACPI: If an ACPI driver is available for this device, you should use it instead of the native driver
[   11.603177] wmi: Mapper loaded
[   11.606616] hp_accel: laptop model unknown, using default axes configuration
[   11.699837] EFI Variables Facility v0.08 2004-May-17
[   11.748927] input: PC Speaker as /devices/platform/pcspkr/input/input7
[   11.770457] pstore: Registered efi as persistent store backend
[   11.905017] lis3lv02d: 8 bits 3DC sensor found
[   11.958918] [drm] Memory usable by graphics device = 2048M
[   11.961986] checking generic (80000000 408000) vs hw (80000000 10000000)
[   11.961991] fb: switching to inteldrmfb from simple
[   11.964104] Console: switching to colour dummy device 80x25
[   11.964251] [drm] Replacing VGA console driver
[   11.966373] [drm] Supports vblank timestamp caching Rev 2 (21.10.2013).
[   11.966385] [drm] Driver supports precise vblank timestamp query.
[   12.029055] vgaarb: device changed decodes: PCI:0000:00:02.0,olddecodes=io+mem,decodes=io+mem:owns=io+mem
[   12.125174] [drm] GMBUS [i915 gmbus vga] timed out, falling back to bit banging on pin 2
[   12.219988] iTCO_vendor_support: vendor-support=0
[   12.228738] iTCO_wdt: Intel TCO WatchDog Timer Driver v1.11
[   12.228830] iTCO_wdt: Found a Bay Trail SoC TCO device (Version=3, TCOBASE=0x0460)
[   12.229027] iTCO_wdt: initialized. heartbeat=30 sec (nowayout=0)
[   12.257594] input: ST LIS3LV02DL Accelerometer as /devices/platform/lis3lv02d/input/input8
[   12.271096] ACPI: Video Device [GFX0] (multi-head: yes  rom: no  post: no)
[   12.271254] fbcon: inteldrmfb (fb0) is primary device
[   12.272545] input: Video Bus as /devices/LNXSYSTM:00/LNXSYBUS:00/PNP0A08:00/LNXVIDEO:00/input/input9
[   12.346467] i2c_hid i2c-ITE33D1:00: error in i2c_hid_init_report size:19 / ret_size:18
[   12.349452] input: ELAN0732:00 04F3:0358 as /devices/platform/80860F41:01/i2c-1/i2c-ELAN0732:00/0018:04F3:0358.0002/input/input10
[   12.349680] hid-multitouch 0018:04F3:0358.0002: input,hidraw0: I2C HID v1.00 Device [ELAN0732:00 04F3:0358] on i2c-ELAN0732:00
[   12.584575] media: Linux media interface: v0.10
[   12.637936] Linux video capture interface: v2.00
[   12.676731] intel_rapl: Found RAPL domain package
[   12.676733] intel_rapl: Found RAPL domain core
[   12.947172] uvcvideo: Found UVC 1.00 device HP Truevision HD (04f2:b40e)
[   12.988197] input: HP Truevision HD as /devices/pci0000:00/0000:00:14.0/usb1/1-3/1-3:1.0/input/input13
[   12.988321] usbcore: registered new interface driver uvcvideo
[   12.988322] USB Video Class driver (1.1.1)
[   13.072102] input: HP WMI hotkeys as /devices/virtual/input/input12

^ permalink raw reply	[flat|nested] 15+ messages in thread

* Re: [PATCH] x86/efi: Always map boot service regions into new EFI page tables
       [not found]       ` <1457888975.3884.9.camel-qw6QB7/foO7QT0dZR+AlfA@public.gmane.org>
@ 2016-03-13 21:58         ` Matt Fleming
       [not found]           ` <20160313215847.GA2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
  0 siblings, 1 reply; 15+ messages in thread
From: Matt Fleming @ 2016-03-13 21:58 UTC (permalink / raw)
  To: Scott Ashcroft
  Cc: Ingo Molnar, H . Peter Anvin, Thomas Gleixner, Ard Biesheuvel,
	linux-kernel-u79uwXL29TY76Z2rM5mHXA,
	linux-efi-u79uwXL29TY76Z2rM5mHXA, Maarten Lankhorst,
	Matthew Garrett, Borislav Petkov, Ben Hutchings, Raphael Hertzog,
	Roger Shimizu, Alexis Murzeau

(Fixing Maarten's email address which I botched originally)

On Sun, 13 Mar, at 05:09:35PM, Scott Ashcroft wrote:
> On Fri, 2016-03-11 at 11:19 +0000, Matt Fleming wrote:
> > Some machines have EFI regions in page zero (physical address
> > 0x00000000) and historically that region has been added to the e820
> > map via trim_bios_range(), and ultimately mapped into the kernel page
> > tables. It was not mapped via efi_map_regions() as one would expect.
> > 
> > Alexis reports that with the new separate EFI page tables some boot
> > services regions, such as page zero, are not mapped. This triggers an
> > oops during the SetVirtualAddressMap() runtime call.
> 
> 
> I'm still seeing a failure to boot even with this patch.
> 
> http://www.qzxyz.com/IMG_20160313_164601.jpgSorry for the dodgy photo but the screen has almost a mirror finish.
> 
> Attached is the dmesg from 4.4 with efi=debug memblock=debug

Well, crap. Can you enable CONFIG_EFI_PGT_DUMP and send the dmesg
because it would be good to know how things are mapped before this
patch.

I'd be surprised if the issue you're seeing is related to the one that
Alexis reported. Having corrupt page table structures is a whole new
bag of scary.

Does $(grep pdpe1gb /proc/cpuinfo) show any output on your machine?

^ permalink raw reply	[flat|nested] 15+ messages in thread

* Re: [PATCH] x86/efi: Always map boot service regions into new EFI page tables
       [not found]           ` <20160313215847.GA2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
@ 2016-03-13 23:07             ` Matt Fleming
  2016-03-13 23:44               ` Scott Ashcroft
       [not found]               ` <20160313230736.GB2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
  0 siblings, 2 replies; 15+ messages in thread
From: Matt Fleming @ 2016-03-13 23:07 UTC (permalink / raw)
  To: Scott Ashcroft
  Cc: Ingo Molnar, H . Peter Anvin, Thomas Gleixner, Ard Biesheuvel,
	linux-kernel-u79uwXL29TY76Z2rM5mHXA,
	linux-efi-u79uwXL29TY76Z2rM5mHXA, Maarten Lankhorst,
	Matthew Garrett, Borislav Petkov, Ben Hutchings, Raphael Hertzog,
	Roger Shimizu, Alexis Murzeau

On Sun, 13 Mar, at 09:58:47PM, Matt Fleming wrote:
> (Fixing Maarten's email address which I botched originally)
> 
> On Sun, 13 Mar, at 05:09:35PM, Scott Ashcroft wrote:
> > On Fri, 2016-03-11 at 11:19 +0000, Matt Fleming wrote:
> > > Some machines have EFI regions in page zero (physical address
> > > 0x00000000) and historically that region has been added to the e820
> > > map via trim_bios_range(), and ultimately mapped into the kernel page
> > > tables. It was not mapped via efi_map_regions() as one would expect.
> > > 
> > > Alexis reports that with the new separate EFI page tables some boot
> > > services regions, such as page zero, are not mapped. This triggers an
> > > oops during the SetVirtualAddressMap() runtime call.
> > 
> > 
> > I'm still seeing a failure to boot even with this patch.
> > 
> > http://www.qzxyz.com/IMG_20160313_164601.jpgSorry for the dodgy photo but the screen has almost a mirror finish.
> > 
> > Attached is the dmesg from 4.4 with efi=debug memblock=debug
> 
> Well, crap. Can you enable CONFIG_EFI_PGT_DUMP and send the dmesg
> because it would be good to know how things are mapped before this
> patch.
> 
> I'd be surprised if the issue you're seeing is related to the one that
> Alexis reported. Having corrupt page table structures is a whole new
> bag of scary.
> 
> Does $(grep pdpe1gb /proc/cpuinfo) show any output on your machine?

Assuming the answer to this question is "no", can you try out this
patch?

diff --git a/arch/x86/mm/pageattr.c b/arch/x86/mm/pageattr.c
index 8fee5b6f8f66..af74849e8c0f 100644
--- a/arch/x86/mm/pageattr.c
+++ b/arch/x86/mm/pageattr.c
@@ -1055,7 +1055,7 @@ static int populate_pud(struct cpa_data *cpa, unsigned long start, pgd_t *pgd,
 	/*
 	 * Map everything starting from the Gb boundary, possibly with 1G pages
 	 */
-	while (end - start >= PUD_SIZE) {
+	while (cpu_has_gbpages && end - start >= PUD_SIZE) {
 		set_pud(pud, __pud(cpa->pfn << PAGE_SHIFT | _PAGE_PSE |
 				   massage_pgprot(pud_pgprot)));
 

^ permalink raw reply related	[flat|nested] 15+ messages in thread

* Re: [PATCH] x86/efi: Always map boot service regions into new EFI page tables
  2016-03-13 23:07             ` Matt Fleming
@ 2016-03-13 23:44               ` Scott Ashcroft
       [not found]               ` <20160313230736.GB2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
  1 sibling, 0 replies; 15+ messages in thread
From: Scott Ashcroft @ 2016-03-13 23:44 UTC (permalink / raw)
  To: Matt Fleming
  Cc: Ingo Molnar, H . Peter Anvin, Thomas Gleixner, Ard Biesheuvel,
	linux-kernel, linux-efi, Maarten Lankhorst, Matthew Garrett,
	Borislav Petkov, Ben Hutchings, Raphael Hertzog, Roger Shimizu,
	Alexis Murzeau

[-- Attachment #1: Type: text/plain, Size: 969 bytes --]

On Sun, 2016-03-13 at 23:07 +0000, Matt Fleming wrote:
> On Sun, 13 Mar, at 09:58:47PM, Matt Fleming wrote:
> > Does $(grep pdpe1gb /proc/cpuinfo) show any output on your machine?
> Assuming the answer to this question is "no", can you try out this
> patch?

The answer is no. Attached is the dmesg with CONFIG_EFI_PGT_DUMP.

> diff --git a/arch/x86/mm/pageattr.c b/arch/x86/mm/pageattr.c
> index 8fee5b6f8f66..af74849e8c0f 100644
> --- a/arch/x86/mm/pageattr.c
> +++ b/arch/x86/mm/pageattr.c
> @@ -1055,7 +1055,7 @@ static int populate_pud(struct cpa_data *cpa,
> unsigned long start, pgd_t *pgd,
>  	/*
>  	 * Map everything starting from the Gb boundary, possibly
> with 1G pages
>  	 */
> -	while (end - start >= PUD_SIZE) {
> +	while (cpu_has_gbpages && end - start >= PUD_SIZE) {
>  		set_pud(pud, __pud(cpa->pfn << PAGE_SHIFT |
> _PAGE_PSE |
>  				   massage_pgprot(pud_pgprot)));

OK. I'll give that a go.


Cheers,
Scott

[-- Attachment #2: dmesg_pgt_dump.txt --]
[-- Type: text/plain, Size: 75106 bytes --]

[    0.000000] Initializing cgroup subsys cpuset
[    0.000000] Initializing cgroup subsys cpu
[    0.000000] Initializing cgroup subsys cpuacct
[    0.000000] Linux version 4.4.0+ (root@marge) (gcc version 5.3.1 20160307 (Debian 5.3.1-11) ) #1 SMP Sun Mar 13 23:03:35 GMT 2016
[    0.000000] Command line: BOOT_IMAGE=/boot/vmlinuz-4.4.0+ root=UUID=4026c556-6239-4eb1-9fe2-3fc0a749067e ro efi=debug
[    0.000000] x86/fpu: Legacy x87 FPU detected.
[    0.000000] x86/fpu: Using 'lazy' FPU context switches.
[    0.000000] e820: BIOS-provided physical RAM map:
[    0.000000] BIOS-e820: [mem 0x0000000000000000-0x000000000006efff] usable
[    0.000000] BIOS-e820: [mem 0x000000000006f000-0x000000000006ffff] ACPI NVS
[    0.000000] BIOS-e820: [mem 0x0000000000070000-0x0000000000085fff] usable
[    0.000000] BIOS-e820: [mem 0x0000000000086000-0x000000000009ffff] reserved
[    0.000000] BIOS-e820: [mem 0x0000000000100000-0x000000001effffff] usable
[    0.000000] BIOS-e820: [mem 0x000000001f000000-0x000000001f0fffff] reserved
[    0.000000] BIOS-e820: [mem 0x000000001f100000-0x000000001fffffff] usable
[    0.000000] BIOS-e820: [mem 0x0000000020000000-0x00000000200fffff] reserved
[    0.000000] BIOS-e820: [mem 0x0000000020100000-0x000000007840cfff] usable
[    0.000000] BIOS-e820: [mem 0x000000007840d000-0x000000007860cfff] type 20
[    0.000000] BIOS-e820: [mem 0x000000007860d000-0x000000007910cfff] reserved
[    0.000000] BIOS-e820: [mem 0x000000007910d000-0x000000007920cfff] ACPI NVS
[    0.000000] BIOS-e820: [mem 0x000000007920d000-0x000000007924cfff] ACPI data
[    0.000000] BIOS-e820: [mem 0x000000007924d000-0x0000000079ffffff] usable
[    0.000000] BIOS-e820: [mem 0x00000000e00f8000-0x00000000e00f8fff] reserved
[    0.000000] BIOS-e820: [mem 0x00000000fed01000-0x00000000fed01fff] reserved
[    0.000000] BIOS-e820: [mem 0x00000000ffb80000-0x00000000ffffffff] reserved
[    0.000000] BIOS-e820: [mem 0x0000000100000000-0x000000017fffffff] usable
[    0.000000] NX (Execute Disable) protection: active
[    0.000000] efi: EFI v2.40 by INSYDE Corp.
[    0.000000] efi:  ACPI 2.0=0x7924c014  ESRT=0x787b4218  SMBIOS=0x78859000 
[    0.000000] efi: mem00: [Boot Code          |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000000000000-0x0000000000001000) (0MB)
[    0.000000] efi: mem01: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000000001000-0x000000000006f000) (0MB)
[    0.000000] efi: mem02: [ACPI Memory NVS    |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000000006f000-0x0000000000070000) (0MB)
[    0.000000] efi: mem03: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000000070000-0x0000000000086000) (0MB)
[    0.000000] efi: mem04: [Reserved           |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000000086000-0x0000000000088000) (0MB)
[    0.000000] efi: mem05: [Runtime Data       |RUN|  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000000088000-0x00000000000a0000) (0MB)
[    0.000000] efi: mem06: [Loader Data        |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000000100000-0x0000000001184000) (16MB)
[    0.000000] efi: mem07: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000001184000-0x0000000001200000) (0MB)
[    0.000000] efi: mem08: [Loader Data        |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000001200000-0x0000000002284000) (16MB)
[    0.000000] efi: mem09: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000002284000-0x000000001f000000) (461MB)
[    0.000000] efi: mem10: [Reserved           |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000001f000000-0x000000001f100000) (1MB)
[    0.000000] efi: mem11: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000001f100000-0x0000000020000000) (15MB)
[    0.000000] efi: mem12: [Reserved           |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000020000000-0x0000000020100000) (1MB)
[    0.000000] efi: mem13: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000020100000-0x0000000035e40000) (349MB)
[    0.000000] efi: mem14: [Loader Data        |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000035e40000-0x0000000036f18000) (16MB)
[    0.000000] efi: mem15: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000036f18000-0x0000000052599000) (438MB)
[    0.000000] efi: mem16: [Loader Data        |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000052599000-0x0000000070000000) (474MB)
[    0.000000] efi: mem17: [Boot Data          |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000070000000-0x0000000070020000) (0MB)
[    0.000000] efi: mem18: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000070020000-0x0000000074b6f000) (75MB)
[    0.000000] efi: mem19: [Loader Code        |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000074b6f000-0x0000000074b8d000) (0MB)
[    0.000000] efi: mem20: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000074b8d000-0x0000000076879000) (28MB)
[    0.000000] efi: mem21: [Boot Data          |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000076879000-0x0000000077b8d000) (19MB)
[    0.000000] efi: mem22: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000077b8d000-0x0000000077fec000) (4MB)
[    0.000000] efi: mem23: [Loader Data        |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000077fec000-0x0000000077ff6000) (0MB)
[    0.000000] efi: mem24: [Boot Code          |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000077ff6000-0x000000007840d000) (4MB)
[    0.000000] efi: mem25: [Runtime Code       |RUN|  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000007840d000-0x000000007860d000) (2MB)
[    0.000000] efi: mem26: [Runtime Data       |RUN|  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000007860d000-0x000000007898d000) (3MB)
[    0.000000] efi: mem27: [Reserved           |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000007898d000-0x000000007910d000) (7MB)
[    0.000000] efi: mem28: [ACPI Memory NVS    |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000007910d000-0x000000007920d000) (1MB)
[    0.000000] efi: mem29: [ACPI Reclaim Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000007920d000-0x000000007924d000) (0MB)
[    0.000000] efi: mem30: [Boot Data          |   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x000000007924d000-0x000000007a000000) (13MB)
[    0.000000] efi: mem31: [Conventional Memory|   |  |  |  |  |  |   |WB|WT|WC|UC] range=[0x0000000100000000-0x0000000180000000) (2048MB)
[    0.000000] efi: mem32: [Memory Mapped I/O  |RUN|  |  |  |  |  |   |  |  |  |UC] range=[0x00000000e00f8000-0x00000000e00f9000) (0MB)
[    0.000000] efi: mem33: [Memory Mapped I/O  |RUN|  |  |  |  |  |   |  |  |  |  ] range=[0x00000000fed01000-0x00000000fed02000) (0MB)
[    0.000000] efi: mem34: [Memory Mapped I/O  |RUN|  |  |  |  |  |   |  |  |  |  ] range=[0x00000000ffb80000-0x0000000100000000) (4MB)
[    0.000000] esrt: Reserving ESRT space from 0x00000000787b4218 to 0x00000000787b4250.
[    0.000000] SMBIOS 2.7 present.
[    0.000000] DMI: Hewlett-Packard HP Pavilion 11 x360 PC/2209, BIOS F.27 04/01/2015
[    0.000000] e820: update [mem 0x00000000-0x00000fff] usable ==> reserved
[    0.000000] e820: remove [mem 0x000a0000-0x000fffff] usable
[    0.000000] e820: last_pfn = 0x180000 max_arch_pfn = 0x400000000
[    0.000000] MTRR default type: uncachable
[    0.000000] MTRR fixed ranges enabled:
[    0.000000]   00000-9FFFF write-back
[    0.000000]   A0000-BFFFF uncachable
[    0.000000]   C0000-FFFFF write-protect
[    0.000000] MTRR variable ranges enabled:
[    0.000000]   0 base 0FFC00000 mask FFFC00000 write-protect
[    0.000000]   1 base 0FFB80000 mask FFFF80000 uncachable
[    0.000000]   2 base 000000000 mask F80000000 write-back
[    0.000000]   3 base 07C000000 mask FFC000000 uncachable
[    0.000000]   4 base 07B000000 mask FFF000000 uncachable
[    0.000000]   5 base 07AE00000 mask FFFE00000 uncachable
[    0.000000]   6 base 100000000 mask F80000000 write-back
[    0.000000]   7 disabled
[    0.000000] x86/PAT: Configuration [0-7]: WB  WC  UC- UC  WB  WC  UC- WT  
[    0.000000] e820: last_pfn = 0x7a000 max_arch_pfn = 0x400000000
[    0.000000] Base memory trampoline at [ffff88000007c000] 7c000 size 24576
[    0.000000] BRK [0x01f27000, 0x01f27fff] PGTABLE
[    0.000000] BRK [0x01f28000, 0x01f28fff] PGTABLE
[    0.000000] BRK [0x01f29000, 0x01f29fff] PGTABLE
[    0.000000] BRK [0x01f2a000, 0x01f2afff] PGTABLE
[    0.000000] BRK [0x01f2b000, 0x01f2bfff] PGTABLE
[    0.000000] BRK [0x01f2c000, 0x01f2cfff] PGTABLE
[    0.000000] RAMDISK: [mem 0x35e40000-0x36f17fff]
[    0.000000] ACPI: Early table checksum verification disabled
[    0.000000] ACPI: RSDP 0x000000007924C014 000024 (v02 HPQOEM)
[    0.000000] ACPI: XSDT 0x000000007924C120 00009C (v01 HPQOEM SLIC-MPC 00000003      01000013)
[    0.000000] ACPI: FACP 0x0000000079249000 00010C (v05 HPQOEM SLIC-MPC 00000003 HP   00040000)
[    0.000000] ACPI: DSDT 0x0000000079238000 00C4B1 (v02 HPQOEM SLIC-MPC 00000003 HP   00040000)
[    0.000000] ACPI: FACS 0x00000000791D4000 000040
[    0.000000] ACPI: UEFI 0x000000007924B000 000236 (v01 HPQOEM INSYDE   00000001 HP   00040000)
[    0.000000] ACPI: MSDM 0x000000007924A000 000055 (v03 HPQOEM SLIC-MPC 00000001 HP   00040000)
[    0.000000] ACPI: HPET 0x0000000079248000 000038 (v01 HPQOEM INSYDE   00000003 HP   00040000)
[    0.000000] ACPI: LPIT 0x0000000079247000 000104 (v01 HPQOEM INSYDE   00000003 HP   00040000)
[    0.000000] ACPI: APIC 0x0000000079246000 000084 (v03 HPQOEM SLIC-MPC 00000003 HP   00040000)
[    0.000000] ACPI: MCFG 0x0000000079245000 00003C (v01 HPQOEM INSYDE   00000003 HP   00040000)
[    0.000000] ACPI: SSDT 0x0000000079236000 000763 (v01 HPQOEM INSYDE   00003000 HP   00040000)
[    0.000000] ACPI: SSDT 0x0000000079235000 000290 (v01 HPQOEM INSYDE   00003000 HP   00040000)
[    0.000000] ACPI: SSDT 0x0000000079234000 00017A (v01 HPQOEM INSYDE   00003000 HP   00040000)
[    0.000000] ACPI: UEFI 0x0000000079233000 000042 (v01 HPQOEM INSYDE   00000000 HP   00040000)
[    0.000000] ACPI: SSDT 0x000000007922C000 006498 (v01 HPQOEM INSYDE   00001000 HP   00040000)
[    0.000000] ACPI: SSDT 0x000000007922B000 0005D8 (v01 HPQOEM INSYDE   00001000 HP   00040000)
[    0.000000] ACPI: FPDT 0x000000007922A000 000044 (v01 HPQOEM SLIC-MPC 00000002 HP   00040000)
[    0.000000] ACPI: BGRT 0x0000000079237000 000038 (v01 HPQOEM INSYDE   00000001 HP   00040000)
[    0.000000] ACPI: Local APIC address 0xfee00000
[    0.000000] No NUMA configuration found
[    0.000000] Faking a node at [mem 0x0000000000000000-0x000000017fffffff]
[    0.000000] NODE_DATA(0) allocated [mem 0x17fff8000-0x17fffbfff]
[    0.000000] Zone ranges:
[    0.000000]   DMA32    [mem 0x0000000000001000-0x00000000ffffffff]
[    0.000000]   Normal   [mem 0x0000000100000000-0x000000017fffffff]
[    0.000000]   Device   empty
[    0.000000] Movable zone start for each node
[    0.000000] Early memory node ranges
[    0.000000]   node   0: [mem 0x0000000000001000-0x000000000006efff]
[    0.000000]   node   0: [mem 0x0000000000070000-0x0000000000085fff]
[    0.000000]   node   0: [mem 0x0000000000100000-0x000000001effffff]
[    0.000000]   node   0: [mem 0x000000001f100000-0x000000001fffffff]
[    0.000000]   node   0: [mem 0x0000000020100000-0x000000007840cfff]
[    0.000000]   node   0: [mem 0x000000007924d000-0x0000000079ffffff]
[    0.000000]   node   0: [mem 0x0000000100000000-0x000000017fffffff]
[    0.000000] Initmem setup node 0 [mem 0x0000000000001000-0x000000017fffffff]
[    0.000000] On node 0 totalpages: 1019716
[    0.000000]   DMA32 zone: 7742 pages used for memmap
[    0.000000]   DMA32 zone: 22 pages reserved
[    0.000000]   DMA32 zone: 495428 pages, LIFO batch:31
[    0.000000]   Normal zone: 8192 pages used for memmap
[    0.000000]   Normal zone: 524288 pages, LIFO batch:31
[    0.000000] x86/hpet: Will disable the HPET for this platform because it's not reliable
[    0.000000] Reserving Intel graphics stolen memory at 0x7b000000-0x7effffff
[    0.000000] ACPI: PM-Timer IO Port: 0x408
[    0.000000] ACPI: Local APIC address 0xfee00000
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x01] high level lint[0x1])
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x02] high level lint[0x1])
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x03] high level lint[0x1])
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x04] high level lint[0x1])
[    0.000000] IOAPIC[0]: apic_id 2, version 32, address 0xfec00000, GSI 0-86
[    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: IRQ9 used by override.
[    0.000000] Using ACPI (MADT) for SMP configuration information
[    0.000000] ACPI: HPET id: 0x8086a201 base: 0xfed00000
[    0.000000] smpboot: Allowing 4 CPUs, 2 hotplug CPUs
[    0.000000] PM: Registered nosave memory: [mem 0x00000000-0x00000fff]
[    0.000000] PM: Registered nosave memory: [mem 0x0006f000-0x0006ffff]
[    0.000000] PM: Registered nosave memory: [mem 0x00086000-0x0009ffff]
[    0.000000] PM: Registered nosave memory: [mem 0x000a0000-0x000fffff]
[    0.000000] PM: Registered nosave memory: [mem 0x1f000000-0x1f0fffff]
[    0.000000] PM: Registered nosave memory: [mem 0x20000000-0x200fffff]
[    0.000000] PM: Registered nosave memory: [mem 0x7840d000-0x7860cfff]
[    0.000000] PM: Registered nosave memory: [mem 0x7860d000-0x7910cfff]
[    0.000000] PM: Registered nosave memory: [mem 0x7910d000-0x7920cfff]
[    0.000000] PM: Registered nosave memory: [mem 0x7920d000-0x7924cfff]
[    0.000000] PM: Registered nosave memory: [mem 0x7a000000-0x7affffff]
[    0.000000] PM: Registered nosave memory: [mem 0x7b000000-0x7effffff]
[    0.000000] PM: Registered nosave memory: [mem 0x7f000000-0xe00f7fff]
[    0.000000] PM: Registered nosave memory: [mem 0xe00f8000-0xe00f8fff]
[    0.000000] PM: Registered nosave memory: [mem 0xe00f9000-0xfed00fff]
[    0.000000] PM: Registered nosave memory: [mem 0xfed01000-0xfed01fff]
[    0.000000] PM: Registered nosave memory: [mem 0xfed02000-0xffb7ffff]
[    0.000000] PM: Registered nosave memory: [mem 0xffb80000-0xffffffff]
[    0.000000] e820: [mem 0x7f000000-0xe00f7fff] available for PCI devices
[    0.000000] Booting paravirtualized kernel on bare hardware
[    0.000000] clocksource: refined-jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645519600211568 ns
[    0.000000] setup_percpu: NR_CPUS:512 nr_cpumask_bits:512 nr_cpu_ids:4 nr_node_ids:1
[    0.000000] PERCPU: Embedded 32 pages/cpu @ffff88017fc00000 s92888 r8192 d29992 u524288
[    0.000000] pcpu-alloc: s92888 r8192 d29992 u524288 alloc=1*2097152
[    0.000000] pcpu-alloc: [0] 0 1 2 3 
[    0.000000] Built 1 zonelists in Node order, mobility grouping on.  Total pages: 1003760
[    0.000000] Policy zone: Normal
[    0.000000] Kernel command line: BOOT_IMAGE=/boot/vmlinuz-4.4.0+ root=UUID=4026c556-6239-4eb1-9fe2-3fc0a749067e ro efi=debug
[    0.000000] PID hash table entries: 4096 (order: 3, 32768 bytes)
[    0.000000] Calgary: detecting Calgary via BIOS EBDA area
[    0.000000] Calgary: Unable to locate Rio Grande table in EBDA - bailing!
[    0.000000] Memory: 3877868K/4078864K available (5684K kernel code, 1064K rwdata, 2816K rodata, 1296K init, 828K bss, 200996K reserved, 0K cma-reserved)
[    0.000000] Hierarchical RCU implementation.
[    0.000000] 	Build-time adjustment of leaf fanout to 64.
[    0.000000] 	RCU restricting CPUs from NR_CPUS=512 to nr_cpu_ids=4.
[    0.000000] RCU: Adjusting geometry for rcu_fanout_leaf=64, nr_cpu_ids=4
[    0.000000] NR_IRQS:33024 nr_irqs:1024 16
[    0.000000] Console: colour dummy device 80x25
[    0.000000] console [tty0] enabled
[    0.000000] Maximum core-clock to bus-clock ratio: 0x10
[    0.000000] Resolved frequency ID: 2, frequency: 133200 KHz
[    0.000000] TSC runs at 2131200 KHz
[    0.000000] lapic_timer_frequency = 532800
[    0.000000] tsc: Detected 2131.200 MHz processor
[    0.000035] Calibrating delay loop (skipped), value calculated using timer frequency.. 4262.40 BogoMIPS (lpj=8524800)
[    0.000049] pid_max: default: 32768 minimum: 301
[    0.000068] ACPI: Core revision 20150930
[    0.030787] ACPI: 6 ACPI AML tables successfully acquired and loaded
[    0.031376] ---[ User Space ]---
[    0.031387] 0x0000000000000000-0x0000000000088000         544K     RW                 GLB NX pte
[    0.031409] 0x0000000000088000-0x00000000000a0000          96K     RW                 GLB x  pte
[    0.031434] 0x00000000000a0000-0x0000000000200000        1408K     RW                 GLB NX pte
[    0.031454] 0x0000000000200000-0x0000000001200000          16M     RW         PSE     GLB NX pmd
[    0.031473] 0x0000000001200000-0x0000000001800000           6M     RW         PSE     GLB x  pmd
[    0.031492] 0x0000000001800000-0x0000000001a00000           2M     ro         PSE     GLB x  pmd
[    0.031514] 0x0000000001a00000-0x0000000001ac0000         768K     ro                 GLB x  pte
[    0.031538] 0x0000000001ac0000-0x0000000001c00000        1280K     RW                 GLB x  pte
[    0.031557] 0x0000000001c00000-0x0000000001e00000           2M     RW         PSE     GLB x  pmd
[    0.031581] 0x0000000001e00000-0x0000000001f4d000        1332K     RW                 GLB x  pte
[    0.031603] 0x0000000001f4d000-0x0000000002000000         716K     RW                 GLB NX pte
[    0.031627] 0x0000000002000000-0x000000001f000000         464M     RW         PSE     GLB NX pmd
[    0.031650] 0x000000001f000000-0x000000001f100000           1M                               pte
[    0.031667] 0x000000001f100000-0x000000001f200000           1M     RW                 GLB NX pte
[    0.031686] 0x000000001f200000-0x0000000020000000          14M     RW         PSE     GLB NX pmd
[    0.031709] 0x0000000020000000-0x0000000020100000           1M                               pte
[    0.031726] 0x0000000020100000-0x0000000020200000           1M     RW                 GLB NX pte
[    0.031758] 0x0000000020200000-0x0000000070000000        1278M     RW         PSE     GLB NX pmd
[    0.031777] 0x0000000070000000-0x0000000070020000         128K     RW                 GLB x  pte
[    0.031803] 0x0000000070020000-0x0000000070200000        1920K     RW                 GLB NX pte
[    0.031824] 0x0000000070200000-0x0000000076800000         102M     RW         PSE     GLB NX pmd
[    0.031845] 0x0000000076800000-0x0000000076879000         484K     RW                 GLB NX pte
[    0.031869] 0x0000000076879000-0x0000000076a00000        1564K     RW                 GLB x  pte
[    0.031889] 0x0000000076a00000-0x0000000077a00000          16M     RW         PSE     GLB x  pmd
[    0.031914] 0x0000000077a00000-0x0000000077b8d000        1588K     RW                 GLB x  pte
[    0.031935] 0x0000000077b8d000-0x0000000077c00000         460K     RW                 GLB NX pte
[    0.031954] 0x0000000077c00000-0x0000000077e00000           2M     RW         PSE     GLB NX pmd
[    0.031980] 0x0000000077e00000-0x0000000077ff6000        2008K     RW                 GLB NX pte
[    0.032012] 0x0000000077ff6000-0x0000000078000000          40K     RW                 GLB x  pte
[    0.032031] 0x0000000078000000-0x0000000078400000           4M     RW         PSE     GLB x  pmd
[    0.032051] 0x0000000078400000-0x000000007840d000          52K     RW                 GLB x  pte
[    0.032090] 0x000000007840d000-0x000000007898d000        5632K     RW                     x  pte
[    0.032111] 0x000000007898d000-0x0000000078a00000         460K                               pte
[    0.032125] 0x0000000078a00000-0x0000000079200000           8M                               pmd
[    0.032139] 0x0000000079200000-0x000000007924d000         308K                               pte
[    0.032159] 0x000000007924d000-0x0000000079400000        1740K     RW                 GLB x  pte
[    0.032178] 0x0000000079400000-0x000000007a000000          12M     RW         PSE     GLB x  pmd
[    0.032198] 0x000000007a000000-0x0000000080000000          96M                               pmd
[    0.032211] 0x0000000080000000-0x00000000c0000000           1G                               pud
[    0.032228] 0x00000000c0000000-0x00000000e0000000         512M                               pmd
[    0.032245] 0x00000000e0000000-0x00000000e00f8000         992K                               pte
[    0.032258] 0x00000000e00f8000-0x00000000e00f9000           4K     RW     PCD             x  pte
[    0.032281] 0x00000000e00f9000-0x00000000e0200000        1052K                               pte
[    0.032298] 0x00000000e0200000-0x00000000fec00000         490M                               pmd
[    0.032315] 0x00000000fec00000-0x00000000fed01000        1028K                               pte
[    0.032328] 0x00000000fed01000-0x00000000fed02000           4K     RW     PCD             x  pte
[    0.032351] 0x00000000fed02000-0x00000000fee00000        1016K                               pte
[    0.032364] 0x00000000fee00000-0x00000000ffa00000          12M                               pmd
[    0.032383] 0x00000000ffa00000-0x00000000ffb80000        1536K                               pte
[    0.032398] 0x00000000ffb80000-0x00000000ffc00000         512K     RW     PCD             x  pte
[    0.032417] 0x00000000ffc00000-0x0000000100000000           4M     RW     PCD PSE         x  pmd
[    0.032456] 0x0000000100000000-0x0000000180000000           2G     RW         PSE     GLB NX pmd
[    0.032483] 0x0000000180000000-0x0000008000000000         506G                               pud
[    0.032502] 0x0000008000000000-0xffff800000000000   17179737600G                               pgd
[    0.032515] ---[ Kernel Space ]---
[    0.032522] 0xffff800000000000-0xffff880000000000           8T                               pgd
[    0.032535] ---[ Low Kernel Mapping ]---
[    0.032543] 0xffff880000000000-0xffff880000088000         544K     RW                 GLB NX pte
[    0.032563] 0xffff880000088000-0xffff8800000a0000          96K     RW                 GLB x  pte
[    0.032587] 0xffff8800000a0000-0xffff880000200000        1408K     RW                 GLB NX pte
[    0.032607] 0xffff880000200000-0xffff880001200000          16M     RW         PSE     GLB NX pmd
[    0.032626] 0xffff880001200000-0xffff880001800000           6M     RW         PSE     GLB x  pmd
[    0.032645] 0xffff880001800000-0xffff880001a00000           2M     ro         PSE     GLB x  pmd
[    0.032667] 0xffff880001a00000-0xffff880001ac0000         768K     ro                 GLB x  pte
[    0.032691] 0xffff880001ac0000-0xffff880001c00000        1280K     RW                 GLB x  pte
[    0.032710] 0xffff880001c00000-0xffff880001e00000           2M     RW         PSE     GLB x  pmd
[    0.032734] 0xffff880001e00000-0xffff880001f4d000        1332K     RW                 GLB x  pte
[    0.032756] 0xffff880001f4d000-0xffff880002000000         716K     RW                 GLB NX pte
[    0.032779] 0xffff880002000000-0xffff88001f000000         464M     RW         PSE     GLB NX pmd
[    0.032802] 0xffff88001f000000-0xffff88001f100000           1M                               pte
[    0.032819] 0xffff88001f100000-0xffff88001f200000           1M     RW                 GLB NX pte
[    0.032838] 0xffff88001f200000-0xffff880020000000          14M     RW         PSE     GLB NX pmd
[    0.032861] 0xffff880020000000-0xffff880020100000           1M                               pte
[    0.032878] 0xffff880020100000-0xffff880020200000           1M     RW                 GLB NX pte
[    0.032909] 0xffff880020200000-0xffff880070000000        1278M     RW         PSE     GLB NX pmd
[    0.032929] 0xffff880070000000-0xffff880070020000         128K     RW                 GLB x  pte
[    0.032955] 0xffff880070020000-0xffff880070200000        1920K     RW                 GLB NX pte
[    0.032975] 0xffff880070200000-0xffff880076800000         102M     RW         PSE     GLB NX pmd
[    0.032996] 0xffff880076800000-0xffff880076879000         484K     RW                 GLB NX pte
[    0.033021] 0xffff880076879000-0xffff880076a00000        1564K     RW                 GLB x  pte
[    0.033040] 0xffff880076a00000-0xffff880077a00000          16M     RW         PSE     GLB x  pmd
[    0.033065] 0xffff880077a00000-0xffff880077b8d000        1588K     RW                 GLB x  pte
[    0.033086] 0xffff880077b8d000-0xffff880077c00000         460K     RW                 GLB NX pte
[    0.033105] 0xffff880077c00000-0xffff880077e00000           2M     RW         PSE     GLB NX pmd
[    0.033132] 0xffff880077e00000-0xffff880077ff6000        2008K     RW                 GLB NX pte
[    0.033151] 0xffff880077ff6000-0xffff880078000000          40K     RW                 GLB x  pte
[    0.033170] 0xffff880078000000-0xffff880078400000           4M     RW         PSE     GLB x  pmd
[    0.033189] 0xffff880078400000-0xffff88007840d000          52K     RW                 GLB x  pte
[    0.033229] 0xffff88007840d000-0xffff88007898d000        5632K     RW                     x  pte
[    0.033250] 0xffff88007898d000-0xffff880078a00000         460K                               pte
[    0.033263] 0xffff880078a00000-0xffff880079200000           8M                               pmd
[    0.033278] 0xffff880079200000-0xffff88007924d000         308K                               pte
[    0.033297] 0xffff88007924d000-0xffff880079400000        1740K     RW                 GLB x  pte
[    0.033316] 0xffff880079400000-0xffff88007a000000          12M     RW         PSE     GLB x  pmd
[    0.033336] 0xffff88007a000000-0xffff880080000000          96M                               pmd
[    0.033350] 0xffff880080000000-0xffff8800c0000000           1G                               pud
[    0.033367] 0xffff8800c0000000-0xffff8800e0000000         512M                               pmd
[    0.033384] 0xffff8800e0000000-0xffff8800e00f8000         992K                               pte
[    0.033397] 0xffff8800e00f8000-0xffff8800e00f9000           4K     RW     PCD             x  pte
[    0.033420] 0xffff8800e00f9000-0xffff8800e0200000        1052K                               pte
[    0.033437] 0xffff8800e0200000-0xffff8800fec00000         490M                               pmd
[    0.033454] 0xffff8800fec00000-0xffff8800fed01000        1028K                               pte
[    0.033467] 0xffff8800fed01000-0xffff8800fed02000           4K     RW     PCD             x  pte
[    0.033490] 0xffff8800fed02000-0xffff8800fee00000        1016K                               pte
[    0.033503] 0xffff8800fee00000-0xffff8800ffa00000          12M                               pmd
[    0.033522] 0xffff8800ffa00000-0xffff8800ffb80000        1536K                               pte
[    0.033537] 0xffff8800ffb80000-0xffff8800ffc00000         512K     RW     PCD             x  pte
[    0.033556] 0xffff8800ffc00000-0xffff880100000000           4M     RW     PCD PSE         x  pmd
[    0.033595] 0xffff880100000000-0xffff880180000000           2G     RW         PSE     GLB NX pmd
[    0.033622] 0xffff880180000000-0xffff888000000000         506G                               pud
[    0.033638] 0xffff888000000000-0xffffc90000000000       66048G                               pgd
[    0.033651] ---[ vmalloc() Area ]---
[    0.033657] 0xffffc90000000000-0xffffc9000000d000          52K     RW                 GLB NX pte
[    0.033676] 0xffffc9000000d000-0xffffc9000000e000           4K                               pte
[    0.033690] 0xffffc9000000e000-0xffffc9000000f000           4K     RW                 GLB NX pte
[    0.033709] 0xffffc9000000f000-0xffffc90000010000           4K                               pte
[    0.033722] 0xffffc90000010000-0xffffc90000011000           4K     RW                 GLB NX pte
[    0.033741] 0xffffc90000011000-0xffffc90000012000           4K                               pte
[    0.033754] 0xffffc90000012000-0xffffc90000013000           4K     RW                 GLB NX pte
[    0.033773] 0xffffc90000013000-0xffffc90000014000           4K                               pte
[    0.033786] 0xffffc90000014000-0xffffc90000015000           4K     RW                 GLB NX pte
[    0.033805] 0xffffc90000015000-0xffffc90000018000          12K                               pte
[    0.033819] 0xffffc90000018000-0xffffc9000001f000          28K     RW                 GLB NX pte
[    0.033845] 0xffffc9000001f000-0xffffc90000200000        1924K                               pte
[    0.033867] 0xffffc90000200000-0xffffc90040000000        1022M                               pmd
[    0.033889] 0xffffc90040000000-0xffffc98000000000         511G                               pud
[    0.033903] 0xffffc98000000000-0xffffea0000000000       33280G                               pgd
[    0.033916] ---[ Vmemmap ]---
[    0.033922] 0xffffea0000000000-0xffffea0002000000          32M     RW         PSE     GLB NX pmd
[    0.033942] 0xffffea0002000000-0xffffea0004000000          32M                               pmd
[    0.033956] 0xffffea0004000000-0xffffea0006000000          32M     RW         PSE     GLB NX pmd
[    0.033983] 0xffffea0006000000-0xffffea0040000000         928M                               pmd
[    0.034004] 0xffffea0040000000-0xffffea8000000000         511G                               pud
[    0.034018] 0xffffea8000000000-0xffffff0000000000       20992G                               pgd
[    0.034031] ---[ ESPfix Area ]---
[    0.034038] 0xffffff0000000000-0xffffff8000000000         512G                               pgd
[    0.034058] 0xffffff8000000000-0xffffffef00000000         444G                               pud
[    0.034071] ---[ EFI Runtime Services ]---
[    0.034079] 0xffffffef00000000-0xfffffffec0000000          63G                               pud
[    0.034100] 0xfffffffec0000000-0xfffffffefcc00000         972M                               pmd
[    0.034115] 0xfffffffefcc00000-0xfffffffefcc88000         544K                               pte
[    0.034128] 0xfffffffefcc88000-0xfffffffefcca0000          96K     RW                     x  pte
[    0.034153] 0xfffffffefcca0000-0xfffffffefce00000        1408K                               pte
[    0.034166] 0xfffffffefce00000-0xfffffffefce20000         128K     RW                     x  pte
[    0.034187] 0xfffffffefce20000-0xfffffffefce79000         356K                               pte
[    0.034206] 0xfffffffefce79000-0xfffffffefd000000        1564K     RW                     x  pte
[    0.034225] 0xfffffffefd000000-0xfffffffefe000000          16M     RW         PSE         x  pmd
[    0.034250] 0xfffffffefe000000-0xfffffffefe18d000        1588K     RW                     x  pte
[    0.034270] 0xfffffffefe18d000-0xfffffffefe1f6000         420K                               pte
[    0.034284] 0xfffffffefe1f6000-0xfffffffefe200000          40K     RW                     x  pte
[    0.034303] 0xfffffffefe200000-0xfffffffefe600000           4M     RW         PSE         x  pmd
[    0.034343] 0xfffffffefe600000-0xfffffffefeb8d000        5684K     RW                     x  pte
[    0.034365] 0xfffffffefeb8d000-0xfffffffefec4d000         768K                               pte
[    0.034385] 0xfffffffefec4d000-0xfffffffefee00000        1740K     RW                     x  pte
[    0.034404] 0xfffffffefee00000-0xfffffffeffa00000          12M     RW         PSE         x  pmd
[    0.034426] 0xfffffffeffa00000-0xfffffffeffaf8000         992K                               pte
[    0.034440] 0xfffffffeffaf8000-0xfffffffeffaf9000           4K     RW     PCD             x  pte
[    0.034459] 0xfffffffeffaf9000-0xfffffffeffb01000          32K                               pte
[    0.034472] 0xfffffffeffb01000-0xfffffffeffb02000           4K     RW     PCD             x  pte
[    0.034493] 0xfffffffeffb02000-0xfffffffeffb80000         504K                               pte
[    0.034508] 0xfffffffeffb80000-0xfffffffeffc00000         512K     RW     PCD             x  pte
[    0.034527] 0xfffffffeffc00000-0xffffffff00000000           4M     RW     PCD PSE         x  pmd
[    0.034546] 0xffffffff00000000-0xffffffff80000000           2G                               pud
[    0.034559] ---[ High Kernel Mapping ]---
[    0.034566] 0xffffffff80000000-0xffffffff81000000          16M                               pmd
[    0.034579] 0xffffffff81000000-0xffffffff81e00000          14M     RW         PSE     GLB x  pmd
[    0.034602] 0xffffffff81e00000-0xffffffffa0000000         482M                               pmd
[    0.034615] ---[ Modules ]---
[    0.034634] 0xffffffffa0000000-0xffffffffff000000        1520M                               pmd
[    0.034647] ---[ End Modules ]---
[    0.034653] 0xffffffffff000000-0xffffffffff200000           2M                               pmd
[    0.034666] 0xffffffffff200000-0xffffffffff201000           4K     RW                 GLB NX pte
[    0.034699] 0xffffffffff201000-0xffffffffff574000        3532K                               pte
[    0.034712] 0xffffffffff574000-0xffffffffff575000           4K     ro                 GLB NX pte
[    0.034733] 0xffffffffff575000-0xffffffffff5f4000         508K                               pte
[    0.034746] 0xffffffffff5f4000-0xffffffffff5f6000           8K     RW PWT PCD         GLB NX pte
[    0.034766] 0xffffffffff5f6000-0xffffffffff600000          40K                               pte
[    0.034779] 0xffffffffff600000-0xffffffffff601000           4K USR ro                 GLB NX pte
[    0.034806] 0xffffffffff601000-0xffffffffff800000        2044K                               pte
[    0.034819] 0xffffffffff800000-0x0000000000000000           8M                               pmd
[    0.035435] Security Framework initialized
[    0.035450] Yama: becoming mindful.
[    0.035466] AppArmor: AppArmor disabled by boot time parameter
[    0.035951] Dentry cache hash table entries: 524288 (order: 10, 4194304 bytes)
[    0.037790] Inode-cache hash table entries: 262144 (order: 9, 2097152 bytes)
[    0.038632] Mount-cache hash table entries: 8192 (order: 4, 65536 bytes)
[    0.038653] Mountpoint-cache hash table entries: 8192 (order: 4, 65536 bytes)
[    0.039067] Initializing cgroup subsys io
[    0.039084] Initializing cgroup subsys memory
[    0.039104] Initializing cgroup subsys devices
[    0.039115] Initializing cgroup subsys freezer
[    0.039126] Initializing cgroup subsys net_cls
[    0.039137] Initializing cgroup subsys perf_event
[    0.039148] Initializing cgroup subsys net_prio
[    0.039158] Initializing cgroup subsys pids
[    0.039191] CPU: Physical Processor ID: 0
[    0.039198] CPU: Processor Core ID: 0
[    0.039208] ENERGY_PERF_BIAS: Set to 'normal', was 'performance'
[    0.039215] ENERGY_PERF_BIAS: View and update with x86_energy_perf_policy(8)
[    0.045102] mce: CPU supports 6 MCE banks
[    0.045118] CPU0: Thermal monitoring handled by SMI
[    0.045124] process: using mwait in idle threads
[    0.045135] Last level iTLB entries: 4KB 48, 2MB 0, 4MB 0
[    0.045142] Last level dTLB entries: 4KB 128, 2MB 16, 4MB 16, 1GB 0
[    0.045438] Freeing SMP alternatives memory: 24K (ffffffff81c50000 - ffffffff81c56000)
[    0.054105] ftrace: allocating 23661 entries in 93 pages
[    0.066131] ..TIMER: vector=0x30 apic1=0 pin1=2 apic2=-1 pin2=-1
[    0.105846] TSC deadline timer enabled
[    0.105851] smpboot: CPU0: Intel(R) Celeron(R) CPU  N2820  @ 2.13GHz (family: 0x6, model: 0x37, stepping: 0x3)
[    0.105913] Performance Events: PEBS fmt2+, 8-deep LBR, Silvermont events, full-width counters, Intel PMU driver.
[    0.105939] ... version:                3
[    0.105945] ... bit width:              40
[    0.105951] ... generic registers:      2
[    0.105957] ... value mask:             000000ffffffffff
[    0.105963] ... max period:             000000ffffffffff
[    0.105969] ... fixed-purpose events:   3
[    0.105974] ... event mask:             0000000700000003
[    0.107015] x86: Booting SMP configuration:
[    0.107026] .... node  #0, CPUs:      #1
[    0.112999] CPU1: Thermal monitoring handled by SMI
[    0.115080] x86: Booted up 1 node, 2 CPUs
[    0.115098] smpboot: Total of 2 processors activated (8524.80 BogoMIPS)
[    0.115251] NMI watchdog: enabled on all CPUs, permanently consumes one hw-PMU counter.
[    0.115915] devtmpfs: initialized
[    0.122947] PM: Registering ACPI NVS region [mem 0x0006f000-0x0006ffff] (4096 bytes)
[    0.122960] PM: Registering ACPI NVS region [mem 0x7910d000-0x7920cfff] (1048576 bytes)
[    0.123162] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645041785100000 ns
[    0.123317] pinctrl core: initialized pinctrl subsystem
[    0.123656] NET: Registered protocol family 16
[    0.131081] cpuidle: using governor ladder
[    0.143095] cpuidle: using governor menu
[    0.143211] ACPI: bus type PCI registered
[    0.143219] acpiphp: ACPI Hot Plug PCI Controller Driver version: 0.5
[    0.143364] PCI: MMCONFIG for domain 0000 [bus 00-3f] at [mem 0xe0000000-0xe3ffffff] (base 0xe0000000)
[    0.143376] PCI: not using MMCONFIG
[    0.143383] PCI: Using configuration type 1 for base access
[    0.155800] ACPI: Added _OSI(Module Device)
[    0.155810] ACPI: Added _OSI(Processor Device)
[    0.155816] ACPI: Added _OSI(3.0 _SCP Extensions)
[    0.155823] ACPI: Added _OSI(Processor Aggregator Device)
[    0.159996] ACPI Error: [\_PR_.CPU0._PPC] Namespace lookup failure, AE_NOT_FOUND (20150930/psargs-359)
[    0.160016] ACPI Error: Method parse/execution failed [\_SB.PCI0.LPCB.EC0.IPCL] (Node ffff88017b0bb798), AE_NOT_FOUND (20150930/psparse-542)
[    0.160038] ACPI Error: Method parse/execution failed [\_SB.PCI0.LPCB.EC0.PCLK] (Node ffff88017b0bb7e8), AE_NOT_FOUND (20150930/psparse-542)
[    0.160058] ACPI Error: Method parse/execution failed [\_SB.TBSW] (Node ffff88017b0bb1d0), AE_NOT_FOUND (20150930/psparse-542)
[    0.160076] ACPI Error: Method parse/execution failed [\_SB.PCI0.LPCB.EC0._Q1D] (Node ffff88017b0bb0b8), AE_NOT_FOUND (20150930/psparse-542)
[    0.160095] ACPI Error: Method parse/execution failed [\_SB.PCI0.LPCB.EC0._REG] (Node ffff88017b0b8658), AE_NOT_FOUND (20150930/psparse-542)
[    0.160363] ACPI Error: [\_PR_.CPU0._PPC] Namespace lookup failure, AE_NOT_FOUND (20150930/psargs-359)
[    0.160381] ACPI Error: Method parse/execution failed [\_SB.PCI0.LPCB.EC0.IPCL] (Node ffff88017b0bb798), AE_NOT_FOUND (20150930/psparse-542)
[    0.160401] ACPI Error: Method parse/execution failed [\_SB.PCI0.LPCB.EC0.PCLK] (Node ffff88017b0bb7e8), AE_NOT_FOUND (20150930/psparse-542)
[    0.160420] ACPI Error: Method parse/execution failed [\_SB.TBSW] (Node ffff88017b0bb1d0), AE_NOT_FOUND (20150930/psparse-542)
[    0.160439] ACPI Error: Method parse/execution failed [\_SB.PCI0.LPCB.EC0._Q1D] (Node ffff88017b0bb0b8), AE_NOT_FOUND (20150930/psparse-542)
[    0.160458] ACPI Error: Method parse/execution failed [\_SB.PCI0.LPCB.EC0._REG] (Node ffff88017b0b8658), AE_NOT_FOUND (20150930/psparse-542)
[    0.171061] ACPI: Dynamic OEM Table Load:
[    0.171081] ACPI: SSDT 0xFFFF88017B094800 0004C4 (v01 PmRef  Cpu0Ist  00003000 INTL 20130117)
[    0.172293] ACPI: Dynamic OEM Table Load:
[    0.172308] ACPI: SSDT 0xFFFF88017B094000 000433 (v01 PmRef  Cpu0Cst  00003001 INTL 20130117)
[    0.174009] ACPI: Dynamic OEM Table Load:
[    0.174024] ACPI: SSDT 0xFFFF88017B097E00 00015F (v01 PmRef  ApIst    00003000 INTL 20130117)
[    0.175198] ACPI: Dynamic OEM Table Load:
[    0.175213] ACPI: SSDT 0xFFFF88017A5F7DC0 00008D (v01 PmRef  ApCst    00003000 INTL 20130117)
[    0.176958] ACPI : EC: EC started
[    0.943668] ACPI: Interpreter enabled
[    0.943688] ACPI Exception: AE_NOT_FOUND, While evaluating Sleep State [\_S1_] (20150930/hwxface-580)
[    0.943707] ACPI Exception: AE_NOT_FOUND, While evaluating Sleep State [\_S2_] (20150930/hwxface-580)
[    0.943749] ACPI: (supports S0 S3 S4 S5)
[    0.943756] ACPI: Using IOAPIC for interrupt routing
[    0.943830] PCI: MMCONFIG for domain 0000 [bus 00-3f] at [mem 0xe0000000-0xe3ffffff] (base 0xe0000000)
[    0.944808] PCI: MMCONFIG at [mem 0xe0000000-0xe3ffffff] reserved in ACPI motherboard resources
[    0.944836] PCI: Using host bridge windows from ACPI; if necessary, use "pci=nocrs" and report a bug
[    1.050450] ACPI: Power Resource [USBC] (on)
[    1.056510] ACPI: Power Resource [PLPE] (on)
[    1.056854] ACPI: Power Resource [PLPE] (on)
[    1.065047] ACPI: Power Resource [CLK0] (on)
[    1.065144] ACPI: Power Resource [CLK1] (on)
[    1.139631] ACPI: Power Resource [FN00] (off)
[    1.139909] ACPI: Power Resource [FN01] (off)
[    1.140153] ACPI: Power Resource [FN02] (off)
[    1.140394] ACPI: Power Resource [FN03] (off)
[    1.140638] ACPI: Power Resource [FN04] (off)
[    1.141956] ACPI: PCI Root Bridge [PCI0] (domain 0000 [bus 00-ff])
[    1.141973] acpi PNP0A08:00: _OSC: OS supports [ExtendedConfig ASPM ClockPM Segments MSI]
[    1.142073] \_SB_.PCI0:_OSC invalid UUID
[    1.142076] _OSC request data:1 1f 0 
[    1.142084] acpi PNP0A08:00: _OSC failed (AE_ERROR); disabling ASPM
[    1.142113] acpi PNP0A08:00: [Firmware Info]: MMCONFIG for domain 0000 [bus 00-3f] only partially covers this bridge
[    1.142762] PCI host bridge to bus 0000:00
[    1.142773] pci_bus 0000:00: root bus resource [io  0x0070-0x0077]
[    1.142782] pci_bus 0000:00: root bus resource [io  0x0000-0x006f window]
[    1.142790] pci_bus 0000:00: root bus resource [io  0x0078-0x0cf7 window]
[    1.142799] pci_bus 0000:00: root bus resource [io  0x0d00-0xffff window]
[    1.142808] pci_bus 0000:00: root bus resource [mem 0x000a0000-0x000bffff window]
[    1.142819] pci_bus 0000:00: root bus resource [mem 0x000c0000-0x000dffff window]
[    1.142830] pci_bus 0000:00: root bus resource [mem 0x000e0000-0x000fffff window]
[    1.142842] pci_bus 0000:00: root bus resource [mem 0x80000000-0x90affffe window]
[    1.142853] pci_bus 0000:00: root bus resource [bus 00-ff]
[    1.142871] pci 0000:00:00.0: [8086:0f00] type 00 class 0x060000
[    1.143068] pci 0000:00:02.0: [8086:0f31] type 00 class 0x030000
[    1.143091] pci 0000:00:02.0: reg 0x10: [mem 0x90000000-0x903fffff]
[    1.143104] pci 0000:00:02.0: reg 0x18: [mem 0x80000000-0x8fffffff pref]
[    1.143116] pci 0000:00:02.0: reg 0x20: [io  0x2050-0x2057]
[    1.143308] pci 0000:00:13.0: [8086:0f23] type 00 class 0x010601
[    1.143338] pci 0000:00:13.0: reg 0x10: [io  0x2048-0x204f]
[    1.143350] pci 0000:00:13.0: reg 0x14: [io  0x205c-0x205f]
[    1.143360] pci 0000:00:13.0: reg 0x18: [io  0x2040-0x2047]
[    1.143371] pci 0000:00:13.0: reg 0x1c: [io  0x2058-0x205b]
[    1.143382] pci 0000:00:13.0: reg 0x20: [io  0x2020-0x203f]
[    1.143393] pci 0000:00:13.0: reg 0x24: [mem 0x90a1e000-0x90a1e7ff]
[    1.143435] pci 0000:00:13.0: PME# supported from D3hot
[    1.143593] pci 0000:00:14.0: [8086:0f35] type 00 class 0x0c0330
[    1.143623] pci 0000:00:14.0: reg 0x10: [mem 0x90a00000-0x90a0ffff 64bit]
[    1.143691] pci 0000:00:14.0: PME# supported from D3hot D3cold
[    1.143809] pci 0000:00:14.0: System wakeup disabled by ACPI
[    1.143907] pci 0000:00:1a.0: [8086:0f18] type 00 class 0x108000
[    1.143948] pci 0000:00:1a.0: reg 0x10: [mem 0x90900000-0x909fffff]
[    1.143963] pci 0000:00:1a.0: reg 0x14: [mem 0x90800000-0x908fffff]
[    1.144057] pci 0000:00:1a.0: PME# supported from D0 D3hot
[    1.144220] pci 0000:00:1b.0: [8086:0f04] type 00 class 0x040300
[    1.144255] pci 0000:00:1b.0: reg 0x10: [mem 0x90a10000-0x90a13fff 64bit]
[    1.144322] pci 0000:00:1b.0: PME# supported from D0 D3hot D3cold
[    1.144484] pci 0000:00:1c.0: [8086:0f48] type 01 class 0x060400
[    1.144553] pci 0000:00:1c.0: PME# supported from D0 D3hot D3cold
[    1.144643] pci 0000:00:1c.0: System wakeup disabled by ACPI
[    1.144729] pci 0000:00:1c.1: [8086:0f4a] type 01 class 0x060400
[    1.144798] pci 0000:00:1c.1: PME# supported from D0 D3hot D3cold
[    1.144887] pci 0000:00:1c.1: System wakeup disabled by ACPI
[    1.144973] pci 0000:00:1c.2: [8086:0f4c] type 01 class 0x060400
[    1.145042] pci 0000:00:1c.2: PME# supported from D0 D3hot D3cold
[    1.145129] pci 0000:00:1c.2: System wakeup disabled by ACPI
[    1.145216] pci 0000:00:1c.3: [8086:0f4e] type 01 class 0x060400
[    1.145285] pci 0000:00:1c.3: PME# supported from D0 D3hot D3cold
[    1.145374] pci 0000:00:1c.3: System wakeup disabled by ACPI
[    1.145468] pci 0000:00:1f.0: [8086:0f1c] type 00 class 0x060100
[    1.145694] pci 0000:00:1f.3: [8086:0f12] type 00 class 0x0c0500
[    1.145744] pci 0000:00:1f.3: reg 0x10: [mem 0x90a18000-0x90a1801f]
[    1.145817] pci 0000:00:1f.3: reg 0x20: [io  0x2000-0x201f]
[    1.146118] pci 0000:00:1c.0: PCI bridge to [bus 01]
[    1.146233] pci 0000:02:00.0: [1814:3290] type 00 class 0x028000
[    1.146271] pci 0000:02:00.0: reg 0x10: [mem 0x90710000-0x9071ffff]
[    1.146384] pci 0000:02:00.0: PME# supported from D0 D3hot
[    1.146437] pci 0000:02:00.0: System wakeup disabled by ACPI
[    1.146530] pci 0000:02:00.1: [1814:3298] type 00 class 0x0d1100
[    1.146568] pci 0000:02:00.1: reg 0x10: [mem 0x90700000-0x9070ffff]
[    1.146680] pci 0000:02:00.1: supports D1
[    1.146684] pci 0000:02:00.1: PME# supported from D0 D1 D3hot
[    1.151723] pci 0000:00:1c.1: PCI bridge to [bus 02]
[    1.151736] pci 0000:00:1c.1:   bridge window [mem 0x90700000-0x907fffff]
[    1.151861] pci 0000:03:00.0: [10ec:5227] type 00 class 0xff0000
[    1.151908] pci 0000:03:00.0: reg 0x10: [mem 0x90600000-0x90600fff]
[    1.152043] pci 0000:03:00.0: supports D1 D2
[    1.152047] pci 0000:03:00.0: PME# supported from D1 D2 D3hot D3cold
[    1.152113] pci 0000:03:00.0: System wakeup disabled by ACPI
[    1.159720] pci 0000:00:1c.2: PCI bridge to [bus 03]
[    1.159733] pci 0000:00:1c.2:   bridge window [mem 0x90600000-0x906fffff]
[    1.159855] pci 0000:04:00.0: [10ec:8136] type 00 class 0x020000
[    1.159903] pci 0000:04:00.0: reg 0x10: [io  0x1000-0x10ff]
[    1.159937] pci 0000:04:00.0: reg 0x18: [mem 0x90500000-0x90500fff 64bit]
[    1.159962] pci 0000:04:00.0: reg 0x20: [mem 0x90400000-0x90403fff 64bit pref]
[    1.160059] pci 0000:04:00.0: supports D1 D2
[    1.160063] pci 0000:04:00.0: PME# supported from D0 D1 D2 D3hot D3cold
[    1.160171] pci 0000:04:00.0: System wakeup disabled by ACPI
[    1.167728] pci 0000:00:1c.3: PCI bridge to [bus 04]
[    1.167739] pci 0000:00:1c.3:   bridge window [io  0x1000-0x1fff]
[    1.167745] pci 0000:00:1c.3:   bridge window [mem 0x90500000-0x905fffff]
[    1.167752] pci 0000:00:1c.3:   bridge window [mem 0x90400000-0x904fffff 64bit pref]
[    1.220621] ACPI: PCI Interrupt Link [LNKA] (IRQs 3 4 5 6 10 11 12 14 15) *0, disabled.
[    1.220776] ACPI: PCI Interrupt Link [LNKB] (IRQs 3 4 5 6 10 11 12 14 15) *0, disabled.
[    1.220929] ACPI: PCI Interrupt Link [LNKC] (IRQs 3 4 5 6 10 11 12 14 15) *0, disabled.
[    1.221084] ACPI: PCI Interrupt Link [LNKD] (IRQs 3 4 5 6 10 11 12 14 15) *0, disabled.
[    1.221237] ACPI: PCI Interrupt Link [LNKE] (IRQs 3 4 5 6 10 11 12 14 15) *0, disabled.
[    1.221389] ACPI: PCI Interrupt Link [LNKF] (IRQs 3 4 5 6 10 11 12 14 15) *0, disabled.
[    1.221542] ACPI: PCI Interrupt Link [LNKG] (IRQs 3 4 5 6 10 11 12 14 15) *0, disabled.
[    1.221694] ACPI: PCI Interrupt Link [LNKH] (IRQs 3 4 5 6 10 11 12 14 15) *0, disabled.
[    1.226881] ACPI: Enabled 4 GPEs in block 00 to 3F
[    1.226984] ACPI : EC: GPE = 0x18, I/O: command/status = 0x66, data = 0x62
[    1.227210] vgaarb: setting as boot device: PCI:0000:00:02.0
[    1.227220] vgaarb: device added: PCI:0000:00:02.0,decodes=io+mem,owns=io+mem,locks=none
[    1.227235] vgaarb: loaded
[    1.227241] vgaarb: bridge control possible 0000:00:02.0
[    1.227510] PCI: Using ACPI for IRQ routing
[    1.229019] PCI: pci_cache_line_size set to 64 bytes
[    1.229093] e820: reserve RAM buffer [mem 0x0006f000-0x0006ffff]
[    1.229096] e820: reserve RAM buffer [mem 0x00086000-0x0008ffff]
[    1.229099] e820: reserve RAM buffer [mem 0x1f000000-0x1fffffff]
[    1.229102] e820: reserve RAM buffer [mem 0x7840d000-0x7bffffff]
[    1.229105] e820: reserve RAM buffer [mem 0x7a000000-0x7bffffff]
[    1.229409] clocksource: Switched to clocksource refined-jiffies
[    1.241465] pnp: PnP ACPI init
[    1.241592] pnp 00:00: Plug and Play ACPI device, IDs PNP0b00 (active)
[    1.241748] system 00:01: [io  0x0680-0x069f] has been reserved
[    1.241759] system 00:01: [io  0x0400-0x047f] has been reserved
[    1.241768] system 00:01: [io  0x0500-0x05fe] has been reserved
[    1.241777] system 00:01: [io  0x0600-0x061f] has been reserved
[    1.241786] system 00:01: [mem 0xfed40000-0xfed44fff] has been reserved
[    1.241798] system 00:01: Plug and Play ACPI device, IDs PNP0c02 (active)
[    1.242000] pnp 00:02: Plug and Play ACPI device, IDs PNP0501 (active)
[    1.242075] pnp 00:03: Plug and Play ACPI device, IDs PNP0303 (active)
[    1.242157] pnp 00:04: Plug and Play ACPI device, IDs SYN1eb1 PNP0f13 (active)
[    1.292394] system 00:05: [mem 0xe0000000-0xefffffff] could not be reserved
[    1.292406] system 00:05: [mem 0xfed01000-0xfed01fff] has been reserved
[    1.292415] system 00:05: [mem 0xfed03000-0xfed03fff] has been reserved
[    1.292424] system 00:05: [mem 0xfed04000-0xfed04fff] has been reserved
[    1.292433] system 00:05: [mem 0xfed0c000-0xfed0ffff] could not be reserved
[    1.292442] system 00:05: [mem 0xfed08000-0xfed08fff] has been reserved
[    1.292451] system 00:05: [mem 0xfed1c000-0xfed1cfff] has been reserved
[    1.292460] system 00:05: [mem 0xfee00000-0xfeefffff] has been reserved
[    1.292469] system 00:05: [mem 0xfef00000-0xfeffffff] has been reserved
[    1.292480] system 00:05: Plug and Play ACPI device, IDs PNP0c02 (active)
[    1.294677] pnp: PnP ACPI: found 6 devices
[    1.303307] clocksource: acpi_pm: mask: 0xffffff max_cycles: 0xffffff, max_idle_ns: 2085701024 ns
[    1.303341] clocksource: Switched to clocksource acpi_pm
[    1.303371] pci 0000:00:1c.0: bridge window [io  0x1000-0x0fff] to [bus 01] add_size 1000
[    1.303378] pci 0000:00:1c.0: bridge window [mem 0x00100000-0x000fffff 64bit pref] to [bus 01] add_size 200000 add_align 100000
[    1.303383] pci 0000:00:1c.0: bridge window [mem 0x00100000-0x000fffff] to [bus 01] add_size 200000 add_align 100000
[    1.303394] pci 0000:00:1c.1: bridge window [io  0x1000-0x0fff] to [bus 02] add_size 1000
[    1.303399] pci 0000:00:1c.1: bridge window [mem 0x00100000-0x000fffff 64bit pref] to [bus 02] add_size 200000 add_align 100000
[    1.303410] pci 0000:00:1c.2: bridge window [io  0x1000-0x0fff] to [bus 03] add_size 1000
[    1.303415] pci 0000:00:1c.2: bridge window [mem 0x00100000-0x000fffff 64bit pref] to [bus 03] add_size 200000 add_align 100000
[    1.303433] pci 0000:00:1c.0: res[14]=[mem 0x00100000-0x000fffff] res_to_dev_res add_size 200000 min_align 100000
[    1.303437] pci 0000:00:1c.0: res[14]=[mem 0x00100000-0x002fffff] res_to_dev_res add_size 200000 min_align 100000
[    1.303442] pci 0000:00:1c.0: res[15]=[mem 0x00100000-0x000fffff 64bit pref] res_to_dev_res add_size 200000 min_align 100000
[    1.303446] pci 0000:00:1c.0: res[15]=[mem 0x00100000-0x002fffff 64bit pref] res_to_dev_res add_size 200000 min_align 100000
[    1.303451] pci 0000:00:1c.1: res[15]=[mem 0x00100000-0x000fffff 64bit pref] res_to_dev_res add_size 200000 min_align 100000
[    1.303455] pci 0000:00:1c.1: res[15]=[mem 0x00100000-0x002fffff 64bit pref] res_to_dev_res add_size 200000 min_align 100000
[    1.303459] pci 0000:00:1c.2: res[15]=[mem 0x00100000-0x000fffff 64bit pref] res_to_dev_res add_size 200000 min_align 100000
[    1.303464] pci 0000:00:1c.2: res[15]=[mem 0x00100000-0x002fffff 64bit pref] res_to_dev_res add_size 200000 min_align 100000
[    1.303468] pci 0000:00:1c.0: res[13]=[io  0x1000-0x0fff] res_to_dev_res add_size 1000 min_align 1000
[    1.303472] pci 0000:00:1c.0: res[13]=[io  0x1000-0x1fff] res_to_dev_res add_size 1000 min_align 1000
[    1.303476] pci 0000:00:1c.1: res[13]=[io  0x1000-0x0fff] res_to_dev_res add_size 1000 min_align 1000
[    1.303480] pci 0000:00:1c.1: res[13]=[io  0x1000-0x1fff] res_to_dev_res add_size 1000 min_align 1000
[    1.303484] pci 0000:00:1c.2: res[13]=[io  0x1000-0x0fff] res_to_dev_res add_size 1000 min_align 1000
[    1.303488] pci 0000:00:1c.2: res[13]=[io  0x1000-0x1fff] res_to_dev_res add_size 1000 min_align 1000
[    1.303499] pci 0000:00:1c.0: BAR 14: no space for [mem size 0x00200000]
[    1.303508] pci 0000:00:1c.0: BAR 14: failed to assign [mem size 0x00200000]
[    1.303523] pci 0000:00:1c.0: BAR 15: no space for [mem size 0x00200000 64bit pref]
[    1.303534] pci 0000:00:1c.0: BAR 15: failed to assign [mem size 0x00200000 64bit pref]
[    1.303551] pci 0000:00:1c.1: BAR 15: no space for [mem size 0x00200000 64bit pref]
[    1.303562] pci 0000:00:1c.1: BAR 15: failed to assign [mem size 0x00200000 64bit pref]
[    1.303578] pci 0000:00:1c.2: BAR 15: no space for [mem size 0x00200000 64bit pref]
[    1.303590] pci 0000:00:1c.2: BAR 15: failed to assign [mem size 0x00200000 64bit pref]
[    1.303606] pci 0000:00:1c.0: BAR 13: assigned [io  0x3000-0x3fff]
[    1.303616] pci 0000:00:1c.1: BAR 13: assigned [io  0x4000-0x4fff]
[    1.303626] pci 0000:00:1c.2: BAR 13: assigned [io  0x5000-0x5fff]
[    1.303642] pci 0000:00:1c.2: BAR 15: no space for [mem size 0x00200000 64bit pref]
[    1.303653] pci 0000:00:1c.2: BAR 15: failed to assign [mem size 0x00200000 64bit pref]
[    1.303669] pci 0000:00:1c.1: BAR 15: no space for [mem size 0x00200000 64bit pref]
[    1.303681] pci 0000:00:1c.1: BAR 15: failed to assign [mem size 0x00200000 64bit pref]
[    1.303694] pci 0000:00:1c.0: BAR 14: no space for [mem size 0x00200000]
[    1.303702] pci 0000:00:1c.0: BAR 14: failed to assign [mem size 0x00200000]
[    1.303715] pci 0000:00:1c.0: BAR 15: no space for [mem size 0x00200000 64bit pref]
[    1.303726] pci 0000:00:1c.0: BAR 15: failed to assign [mem size 0x00200000 64bit pref]
[    1.303739] pci 0000:00:1c.0: PCI bridge to [bus 01]
[    1.303748] pci 0000:00:1c.0:   bridge window [io  0x3000-0x3fff]
[    1.303790] pci 0000:00:1c.1: PCI bridge to [bus 02]
[    1.303800] pci 0000:00:1c.1:   bridge window [io  0x4000-0x4fff]
[    1.303811] pci 0000:00:1c.1:   bridge window [mem 0x90700000-0x907fffff]
[    1.303824] pci 0000:00:1c.2: PCI bridge to [bus 03]
[    1.303833] pci 0000:00:1c.2:   bridge window [io  0x5000-0x5fff]
[    1.303843] pci 0000:00:1c.2:   bridge window [mem 0x90600000-0x906fffff]
[    1.303857] pci 0000:00:1c.3: PCI bridge to [bus 04]
[    1.303866] pci 0000:00:1c.3:   bridge window [io  0x1000-0x1fff]
[    1.303876] pci 0000:00:1c.3:   bridge window [mem 0x90500000-0x905fffff]
[    1.303886] pci 0000:00:1c.3:   bridge window [mem 0x90400000-0x904fffff 64bit pref]
[    1.303901] pci_bus 0000:00: resource 4 [io  0x0070-0x0077]
[    1.303905] pci_bus 0000:00: resource 5 [io  0x0000-0x006f window]
[    1.303908] pci_bus 0000:00: resource 6 [io  0x0078-0x0cf7 window]
[    1.303912] pci_bus 0000:00: resource 7 [io  0x0d00-0xffff window]
[    1.303916] pci_bus 0000:00: resource 8 [mem 0x000a0000-0x000bffff window]
[    1.303919] pci_bus 0000:00: resource 9 [mem 0x000c0000-0x000dffff window]
[    1.303923] pci_bus 0000:00: resource 10 [mem 0x000e0000-0x000fffff window]
[    1.303927] pci_bus 0000:00: resource 11 [mem 0x80000000-0x90affffe window]
[    1.303931] pci_bus 0000:01: resource 0 [io  0x3000-0x3fff]
[    1.303934] pci_bus 0000:02: resource 0 [io  0x4000-0x4fff]
[    1.303938] pci_bus 0000:02: resource 1 [mem 0x90700000-0x907fffff]
[    1.303942] pci_bus 0000:03: resource 0 [io  0x5000-0x5fff]
[    1.303945] pci_bus 0000:03: resource 1 [mem 0x90600000-0x906fffff]
[    1.303949] pci_bus 0000:04: resource 0 [io  0x1000-0x1fff]
[    1.303953] pci_bus 0000:04: resource 1 [mem 0x90500000-0x905fffff]
[    1.303956] pci_bus 0000:04: resource 2 [mem 0x90400000-0x904fffff 64bit pref]
[    1.304047] NET: Registered protocol family 2
[    1.304374] TCP established hash table entries: 32768 (order: 6, 262144 bytes)
[    1.304521] TCP bind hash table entries: 32768 (order: 7, 524288 bytes)
[    1.304678] TCP: Hash tables configured (established 32768 bind 32768)
[    1.304758] UDP hash table entries: 2048 (order: 4, 65536 bytes)
[    1.304803] UDP-Lite hash table entries: 2048 (order: 4, 65536 bytes)
[    1.304966] NET: Registered protocol family 1
[    1.305004] pci 0000:00:02.0: Video device with shadowed ROM
[    1.305094] PCI: CLS 64 bytes, default 64
[    1.305198] Unpacking initramfs...
[    1.780584] Freeing initrd memory: 17248K (ffff880035e40000 - ffff880036f18000)
[    1.780653] PCI-DMA: Using software bounce buffering for IO (SWIOTLB)
[    1.780664] software IO TLB [mem 0x72879000-0x76879000] (64MB) mapped at [ffff880072879000-ffff880076878fff]
[    1.780990] simple-framebuffer simple-framebuffer.0: framebuffer at 0x80000000, 0x408000 bytes, mapped to 0xffffc90000800000
[    1.781005] simple-framebuffer simple-framebuffer.0: format=a8r8g8b8, mode=1366x768x32, linelength=5504
[    1.787312] Console: switching to colour frame buffer device 170x48
[    1.793391] simple-framebuffer simple-framebuffer.0: fb0: simplefb registered!
[    1.793990] futex hash table entries: 1024 (order: 4, 65536 bytes)
[    1.794109] audit: initializing netlink subsys (disabled)
[    1.794193] audit: type=2000 audit(1457911788.783:1): initialized
[    1.795017] HugeTLB registered 2 MB page size, pre-allocated 0 pages
[    1.795117] zbud: loaded
[    1.795355] VFS: Disk quotas dquot_6.6.0
[    1.795425] VFS: Dquot-cache hash table entries: 512 (order 0, 4096 bytes)
[    1.796573] Block layer SCSI generic (bsg) driver version 0.4 loaded (major 252)
[    1.796718] io scheduler noop registered
[    1.796760] io scheduler deadline registered
[    1.796823] io scheduler cfq registered (default)
[    1.797681] pci_hotplug: PCI Hot Plug PCI Core version: 0.5
[    1.797750] pciehp: PCI Express Hot Plug Controller Driver version: 0.4
[    1.797868] intel_idle: MWAIT substates: 0x33000020
[    1.797871] intel_idle: v0.4 model 0x37
[    1.797873] intel_idle: lapic_timer_reliable_states 0xffffffff
[    1.798112] GHES: HEST is not enabled!
[    1.798299] Serial: 8250/16550 driver, 4 ports, IRQ sharing enabled
[    1.818497] 00:02: ttyS0 at I/O 0x3f8 (irq = 4, base_baud = 115200) is a 16550A
[    1.819886] hpet: number irqs doesn't agree with number of timers
[    1.819992] Linux agpgart interface v0.103
[    1.820130] AMD IOMMUv2 driver by Joerg Roedel <jroedel@suse.de>
[    1.820188] AMD IOMMUv2 functionality not available on this system
[    1.820685] i8042: PNP: PS/2 Controller [PNP0303:PS2K,PNP0f13:PS2M] at 0x60,0x64 irq 1,12
[    1.851557] serio: i8042 KBD port at 0x60,0x64 irq 1
[    1.853725] serio: i8042 AUX port at 0x60,0x64 irq 12
[    1.856347] mousedev: PS/2 mouse device common for all mice
[    1.858588] rtc_cmos 00:00: RTC can wake from S4
[    1.861073] rtc_cmos 00:00: rtc core: registered rtc_cmos as rtc0
[    1.863282] rtc_cmos 00:00: alarms up to one month, y3k, 242 bytes nvram
[    1.865507] Intel P-state driver initializing.
[    1.868243] ledtrig-cpu: registered to indicate activity on CPUs
[    1.878293] NET: Registered protocol family 10
[    1.882063] mip6: Mobile IPv6
[    1.885155] NET: Registered protocol family 17
[    1.888273] mpls_gso: MPLS GSO support
[    1.890578] microcode: CPU0 sig=0x30673, pf=0x8, revision=0x322
[    1.892574] microcode: CPU1 sig=0x30673, pf=0x8, revision=0x322
[    1.894589] microcode: Microcode Update Driver: v2.01 <tigran@aivazian.fsnet.co.uk>, Peter Oruba
[    1.897489] registered taskstats version 1
[    1.899393] zswap: loaded using pool lzo/zbud
[    1.902248] rtc_cmos 00:00: setting system clock to 2016-03-13 23:29:49 UTC (1457911789)
[    1.904299] PM: Hibernation image not present or could not be loaded.
[    1.906176] Freeing unused kernel memory: 1296K (ffffffff81b0c000 - ffffffff81c50000)
[    1.908119] Write protecting the kernel read-only data: 10240k
[    1.910268] input: AT Translated Set 2 keyboard as /devices/platform/i8042/serio0/input/input0
[    1.912506] Freeing unused kernel memory: 448K (ffff880001790000 - ffff880001800000)
[    1.919939] Freeing unused kernel memory: 1280K (ffff880001ac0000 - ffff880001c00000)
[    1.921860] ------------[ cut here ]------------
[    1.923707] WARNING: CPU: 1 PID: 1 at arch/x86/mm/dump_pagetables.c:225 note_page+0x5e1/0x790()
[    1.925610] x86/mm: Found insecure W+X mapping at address ffff880000088000/0xffff880000088000
[    1.927502] Modules linked in:
[    1.929386] CPU: 1 PID: 1 Comm: swapper/0 Not tainted 4.4.0+ #1
[    1.931266] Hardware name: Hewlett-Packard HP Pavilion 11 x360 PC/2209, BIOS F.27 04/01/2015
[    1.933204]  0000000000000000 000000006d0a1f39 ffffffff812e7019 ffff88017abdbde0
[    1.935146]  ffffffff8107621d ffff88017abdbed0 ffff88017abdbe38 0000000000000004
[    1.937111]  0000000000000000 ffff88017abdbed0 ffffffff810762ac ffffffff817f8c50
[    1.939071] Call Trace:
[    1.941015]  [<ffffffff812e7019>] ? dump_stack+0x40/0x57
[    1.942944]  [<ffffffff8107621d>] ? warn_slowpath_common+0x7d/0xb0
[    1.944876]  [<ffffffff810762ac>] ? warn_slowpath_fmt+0x5c/0x80
[    1.946790]  [<ffffffff810c6983>] ? vprintk_emit+0x373/0x540
[    1.948724]  [<ffffffff81069161>] ? note_page+0x5e1/0x790
[    1.950630]  [<ffffffff810695f0>] ? ptdump_walk_pgd_level_core+0x2e0/0x420
[    1.952558]  [<ffffffff8157c980>] ? rest_init+0x80/0x80
[    1.954445]  [<ffffffff8157c999>] ? kernel_init+0x19/0xe0
[    1.956332]  [<ffffffff81588ccf>] ? ret_from_fork+0x3f/0x70
[    1.958178]  [<ffffffff8157c980>] ? rest_init+0x80/0x80
[    1.960013] ---[ end trace 83a7aae1e095686a ]---
[    1.976425] x86/mm: Checked W+X mappings: FAILED, 24957 W+X pages found.
[    2.000951] random: systemd-udevd urandom read with 2 bits of entropy available
[    2.064836] sdhci: Secure Digital Host Controller Interface driver
[    2.066735] sdhci: Copyright(c) Pierre Ossman
[    2.070549] hidraw: raw HID events driver (C) Jiri Kosina
[    2.074381] FUJITSU Extended Socket Network Device Driver - version 1.0 - Copyright (c) 2015 FUJITSU LIMITED
[    2.107036] thermal LNXTHERM:00: registered as thermal_zone0
[    2.109045] ACPI: Thermal Zone [TZ00] (32 C)
[    2.111340] SCSI subsystem initialized
[    2.111550] thermal LNXTHERM:01: registered as thermal_zone1
[    2.111552] ACPI: Thermal Zone [TZ01] (32 C)
[    2.111732] thermal LNXTHERM:02: registered as thermal_zone2
[    2.111734] ACPI: Thermal Zone [TZ02] (28 C)
[    2.124370] ACPI: bus type USB registered
[    2.126344] usbcore: registered new interface driver usbfs
[    2.128367] usbcore: registered new interface driver hub
[    2.130301] usbcore: registered new device driver usb
[    2.132673] rtsx_pci 0000:03:00.0: rtsx_pci_acquire_irq: pcr->msi_en = 1, pci->irq = 261
[    2.135457] xhci_hcd 0000:00:14.0: xHCI Host Controller
[    2.137435] xhci_hcd 0000:00:14.0: new USB bus registered, assigned bus number 1
[    2.140000] r8169 Gigabit Ethernet driver 2.3LK-NAPI loaded
[    2.140425] xhci_hcd 0000:00:14.0: hcc params 0x200077c1 hci version 0x100 quirks 0x00009810
[    2.140432] xhci_hcd 0000:00:14.0: cache line size of 64 is not supported
[    2.140694] usb usb1: New USB device found, idVendor=1d6b, idProduct=0002
[    2.140696] usb usb1: New USB device strings: Mfr=3, Product=2, SerialNumber=1
[    2.140698] usb usb1: Product: xHCI Host Controller
[    2.140699] usb usb1: Manufacturer: Linux 4.4.0+ xhci-hcd
[    2.140701] usb usb1: SerialNumber: 0000:00:14.0
[    2.140952] hub 1-0:1.0: USB hub found
[    2.140968] hub 1-0:1.0: 6 ports detected
[    2.141756] xhci_hcd 0000:00:14.0: xHCI Host Controller
[    2.141762] xhci_hcd 0000:00:14.0: new USB bus registered, assigned bus number 2
[    2.141833] usb usb2: New USB device found, idVendor=1d6b, idProduct=0003
[    2.141835] usb usb2: New USB device strings: Mfr=3, Product=2, SerialNumber=1
[    2.141837] usb usb2: Product: xHCI Host Controller
[    2.141838] usb usb2: Manufacturer: Linux 4.4.0+ xhci-hcd
[    2.141840] usb usb2: SerialNumber: 0000:00:14.0
[    2.142046] hub 2-0:1.0: USB hub found
[    2.142059] hub 2-0:1.0: 1 port detected
[    2.174406] r8169 0000:04:00.0: can't disable ASPM; OS doesn't have ASPM control
[    2.177193] r8169 0000:04:00.0 eth0: RTL8106e at 0xffffc90000788000, a0:2b:b8:3a:4e:ce, XID 04900000 IRQ 263
[    2.179181] libata version 3.00 loaded.
[    2.180884] ahci 0000:00:13.0: version 3.0
[    2.180930] ahci 0000:00:13.0: controller can't do DEVSLP, turning off
[    2.196311] ahci 0000:00:13.0: AHCI 0001.0300 32 slots 2 ports 3 Gbps 0x1 impl SATA mode
[    2.198107] ahci 0000:00:13.0: flags: 64bit ncq pm led clo pio slum part deso 
[    2.203266] scsi host0: ahci
[    2.208233] scsi host1: ahci
[    2.210168] ata1: SATA max UDMA/133 abar m2048@0x90a1e000 port 0x90a1e100 irq 264
[    2.211963] ata2: DUMMY
[    2.452977] usb 1-3: new high-speed USB device number 2 using xhci_hcd
[    2.533072] ata1: SATA link up 3.0 Gbps (SStatus 123 SControl 300)
[    2.547492] ata1.00: ATA-8: ST500LT012-1DG142, 1002YAM1, max UDMA/133
[    2.551474] ata1.00: 976773168 sectors, multi 16: LBA48 NCQ (depth 31/32), AA
[    2.577130] ata1.00: configured for UDMA/133
[    2.580317] scsi 0:0:0:0: Direct-Access     ATA      ST500LT012-1DG14 YAM1 PQ: 0 ANSI: 5
[    2.591913] sd 0:0:0:0: [sda] 976773168 512-byte logical blocks: (500 GB/465 GiB)
[    2.594373] sd 0:0:0:0: [sda] 4096-byte physical blocks
[    2.596941] sd 0:0:0:0: [sda] Write Protect is off
[    2.598676] sd 0:0:0:0: [sda] Mode Sense: 00 3a 00 00
[    2.598716] sd 0:0:0:0: [sda] Write cache: enabled, read cache: enabled, doesn't support DPO or FUA
[    2.654747]  sda: sda1 sda2 sda3
[    2.658167] sd 0:0:0:0: [sda] Attached SCSI disk
[    2.727565] usb 1-3: New USB device found, idVendor=04f2, idProduct=b40e
[    2.729642] usb 1-3: New USB device strings: Mfr=2, Product=1, SerialNumber=0
[    2.732229] usb 1-3: Product: HP Truevision HD
[    2.734907] usb 1-3: Manufacturer: Chicony Electronics Co., Ltd.
[    2.780897] tsc: Refined TSC clocksource calibration: 2133.332 MHz
[    2.782747] clocksource: tsc: mask: 0xffffffffffffffff max_cycles: 0x1ec03017d33, max_idle_ns: 440795287231 ns
[    2.856946] usb 1-4: new high-speed USB device number 3 using xhci_hcd
[    3.041706] usb 1-4: New USB device found, idVendor=1a40, idProduct=0101
[    3.043607] usb 1-4: New USB device strings: Mfr=0, Product=1, SerialNumber=0
[    3.045501] usb 1-4: Product: USB 2.0 Hub
[    3.048343] hub 1-4:1.0: USB hub found
[    3.050318] hub 1-4:1.0: 4 ports detected
[    3.220121] PM: Starting manual resume from disk
[    3.222098] PM: Hibernation image partition 8:3 present
[    3.222101] PM: Looking for hibernation image.
[    3.222551] PM: Image not found (code -22)
[    3.222554] PM: Hibernation image not present or could not be loaded.
[    3.309423] psmouse serio1: synaptics: queried max coordinates: x [..5672], y [..4722]
[    3.371681] psmouse serio1: synaptics: queried min coordinates: x [1380..], y [1192..]
[    3.460414] EXT4-fs (sda2): mounted filesystem with ordered data mode. Opts: (null)
[    3.485067] psmouse serio1: synaptics: Touchpad model: 1, fw: 8.1, id: 0x1e2b1, caps: 0xd00223/0x840300/0x126800/0x0, board id: 2942, fw id: 1590922
[    3.562574] input: SynPS/2 Synaptics TouchPad as /devices/platform/i8042/serio1/input/input2
[    3.782502] clocksource: Switched to clocksource tsc
[    4.491505] random: nonblocking pool is initialized
[    4.982961] systemd[1]: systemd 229 running in system mode. (+PAM +AUDIT +SELINUX +IMA +APPARMOR +SMACK +SYSVINIT +UTMP +LIBCRYPTSETUP +GCRYPT +GNUTLS +ACL +XZ -LZ4 +SECCOMP +BLKID +ELFUTILS +KMOD -IDN)
[    4.987988] systemd[1]: Detected architecture x86-64.
[    5.077383] systemd[1]: Set hostname to <snowball>.
[    6.450217] systemd-sysv-generator[161]: Overwriting existing symlink /run/systemd/generator.late/keyboard-setup.service with real service.
[    6.453159] systemd-sysv-generator[161]: Overwriting existing symlink /run/systemd/generator.late/console-setup.service with real service.
[    7.476772] systemd[1]: Reached target Encrypted Volumes.
[    7.482045] systemd[1]: Created slice User and Session Slice.
[    7.487029] systemd[1]: Listening on Journal Socket.
[    7.491893] systemd[1]: Listening on fsck to fsckd communication Socket.
[    7.496825] systemd[1]: Listening on udev Control Socket.
[    7.501792] systemd[1]: Started Dispatch Password Requests to Console Directory Watch.
[    7.506792] systemd[1]: Listening on Journal Socket (/dev/log).
[    7.511896] systemd[1]: Created slice System Slice.
[    7.530581] systemd[1]: Mounting Huge Pages File System...
[    7.536141] systemd[1]: Created slice system-systemd\x2dfsck.slice.
[    7.553355] systemd[1]: Starting Load Kernel Modules...
[    7.558908] systemd[1]: Created slice system-getty.slice.
[    7.563918] systemd[1]: Reached target Slices.
[    7.568853] systemd[1]: Listening on udev Kernel Socket.
[    7.573889] systemd[1]: Started Forward Password Requests to Wall Directory Watch.
[    7.578823] systemd[1]: Reached target User and Group Name Lookups.
[    7.583654] systemd[1]: Reached target Remote File Systems (Pre).
[    7.588371] systemd[1]: Listening on /dev/initctl Compatibility Named Pipe.
[    7.605930] systemd[1]: Mounting POSIX Message Queue File System...
[    7.611923] systemd[1]: Mounting Debug File System...
[    7.616595] systemd[1]: Listening on Syslog Socket.
[    7.621296] systemd[1]: Listening on Journal Audit Socket.
[    7.626853] systemd[1]: Starting Journal Service...
[    7.631364] systemd[1]: Reached target Remote File Systems.
[    7.636141] systemd[1]: Set up automount Arbitrary Executable File Formats File System Automount Point.
[    7.679428] systemd[1]: Starting Create list of required static device nodes for the current kernel...
[    7.687418] systemd[1]: Started Load Kernel Modules.
[    7.746035] systemd[1]: Starting Apply Kernel Variables...
[    7.813949] systemd[1]: Started Create list of required static device nodes for the current kernel.
[    7.830128] systemd[1]: Starting Create Static Device Nodes in /dev...
[    7.908750] systemd[1]: Started Apply Kernel Variables.
[    7.948031] systemd[1]: Mounted POSIX Message Queue File System.
[    7.952739] systemd[1]: Mounted Debug File System.
[    7.957204] systemd[1]: Mounted Huge Pages File System.
[    8.095176] systemd[1]: Started Journal Service.
[    9.877608] EXT4-fs (sda2): re-mounted. Opts: errors=remount-ro
[    9.984223] systemd-journald[174]: Received request to flush runtime journal from PID 1
[   10.292963] shpchp: Standard Hot Plug PCI Controller Driver version: 0.4
[   10.388546] input: Power Button as /devices/LNXSYSTM:00/LNXSYBUS:00/PNP0C0C:00/input/input3
[   10.390605] ACPI: Power Button [PWRB]
[   10.392811] input: Lid Switch as /devices/LNXSYSTM:00/LNXSYBUS:00/PNP0C0D:00/input/input4
[   10.394956] ACPI: Lid Switch [LID0]
[   10.397215] input: Power Button as /devices/LNXSYSTM:00/LNXPWRBN:00/input/input5
[   10.399322] ACPI: Power Button [PWRF]
[   10.491920] [drm] Initialized drm 1.1.0 20060810
[   10.685150] ACPI: AC Adapter [ACAD] (on-line)
[   10.688554] Initializing HPQ6001 module
[   10.690821] input: HP Wireless hotkeys as /devices/virtual/input/input6
[   10.834979] wmi: Mapper loaded
[   10.985065] [Firmware Bug]: battery: (dis)charge rate invalid.
[   10.986998] ACPI: Battery Slot [BAT1] (battery present)
[   11.065668] dw_dmac INTL9C60:01: DesignWare DMA Controller, 8 channels
[   11.115161] sd 0:0:0:0: Attached scsi generic sg0 type 0
[   11.126327] ACPI Warning: SystemIO range 0x0000000000002000-0x000000000000201F conflicts with OpRegion 0x0000000000002000-0x000000000000200F (\_SB_.PCI0.SBUS.SMBI) (20150930/utaddress-254)
[   11.130369] ACPI: If an ACPI driver is available for this device, you should use it instead of the native driver
[   11.139146] hp_accel: laptop model unknown, using default axes configuration
[   11.146286] [drm] Memory usable by graphics device = 2048M
[   11.148376] checking generic (80000000 408000) vs hw (80000000 10000000)
[   11.148380] fb: switching to inteldrmfb from simple
[   11.150543] Console: switching to colour dummy device 80x25
[   11.150689] [drm] Replacing VGA console driver
[   11.151580] [drm] Supports vblank timestamp caching Rev 2 (21.10.2013).
[   11.151589] [drm] Driver supports precise vblank timestamp query.
[   11.212784] vgaarb: device changed decodes: PCI:0000:00:02.0,olddecodes=io+mem,decodes=io+mem:owns=io+mem
[   11.305346] [drm] GMBUS [i915 gmbus vga] timed out, falling back to bit banging on pin 2
[   11.355164] EFI Variables Facility v0.08 2004-May-17
[   11.361561] input: PC Speaker as /devices/platform/pcspkr/input/input7
[   11.401193] pstore: Registered efi as persistent store backend
[   11.417582] lis3lv02d: 8 bits 3DC sensor found
[   11.449683] fbcon: inteldrmfb (fb0) is primary device
[   11.474000] Error: Driver 'pcspkr' is already registered, aborting...
[   11.797953] input: ST LIS3LV02DL Accelerometer as /devices/platform/lis3lv02d/input/input8
[   11.799347] ACPI: Video Device [GFX0] (multi-head: yes  rom: no  post: no)
[   11.800539] input: Video Bus as /devices/LNXSYSTM:00/LNXSYBUS:00/PNP0A08:00/LNXVIDEO:00/input/input9
[   12.125462] iTCO_vendor_support: vendor-support=0
[   12.132098] iTCO_wdt: Intel TCO WatchDog Timer Driver v1.11
[   12.132182] iTCO_wdt: Found a Bay Trail SoC TCO device (Version=3, TCOBASE=0x0460)
[   12.132376] iTCO_wdt: initialized. heartbeat=30 sec (nowayout=0)
[   12.154482] media: Linux media interface: v0.10
[   12.186727] i2c_hid i2c-ITE33D1:00: error in i2c_hid_init_report size:19 / ret_size:18
[   12.381920] Linux video capture interface: v2.00
[   12.488685] input: ELAN0732:00 04F3:0358 as /devices/platform/80860F41:01/i2c-1/i2c-ELAN0732:00/0018:04F3:0358.0002/input/input10
[   12.488931] hid-multitouch 0018:04F3:0358.0002: input,hidraw0: I2C HID v1.00 Device [ELAN0732:00 04F3:0358] on i2c-ELAN0732:00
[   12.582846] uvcvideo: Found UVC 1.00 device HP Truevision HD (04f2:b40e)
[   12.623775] input: HP Truevision HD as /devices/pci0000:00/0000:00:14.0/usb1/1-3/1-3:1.0/input/input13
[   12.623896] usbcore: registered new interface driver uvcvideo
[   12.623897] USB Video Class driver (1.1.1)
[   12.743955] ieee80211 phy0: rt2x00_set_rt: Info - RT chipset 3290, rev 0015 detected
[   12.747420] ieee80211 phy0: rt2x00_set_rf: Info - RF chipset 3290 detected
[   12.842274] intel_soc_dts_thermal: request_threaded_irq ret -22
[   12.844722] Console: switching to colour frame buffer device 170x48
[   12.879538] intel_soc_dts_thermal: request_threaded_irq ret -22
[   12.927376] intel_rapl: Found RAPL domain package
[   12.927379] intel_rapl: Found RAPL domain core
[   12.999197] snd_hda_intel 0000:00:1b.0: bound 0000:00:02.0 (ops i915_audio_component_bind_ops [i915])
[   12.999204] [drm] Initialized i915 1.6.0 20151010 for 0000:00:02.0 on minor 0
[   13.015000] i915 0000:00:02.0: fb0: inteldrmfb frame buffer device

^ permalink raw reply	[flat|nested] 15+ messages in thread

* Re: [PATCH] x86/efi: Always map boot service regions into new EFI page tables
       [not found]               ` <20160313230736.GB2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
@ 2016-03-14  1:09                 ` Scott Ashcroft
  2016-03-14 10:30                 ` Ingo Molnar
  1 sibling, 0 replies; 15+ messages in thread
From: Scott Ashcroft @ 2016-03-14  1:09 UTC (permalink / raw)
  To: Matt Fleming
  Cc: Ingo Molnar, H . Peter Anvin, Thomas Gleixner, Ard Biesheuvel,
	linux-kernel-u79uwXL29TY76Z2rM5mHXA,
	linux-efi-u79uwXL29TY76Z2rM5mHXA, Maarten Lankhorst,
	Matthew Garrett, Borislav Petkov, Ben Hutchings, Raphael Hertzog,
	Roger Shimizu, Alexis Murzeau

On Sun, 2016-03-13 at 23:07 +0000, Matt Fleming wrote:
> Assuming the answer to this question is "no", can you try out this
> patch?
> 
> diff --git a/arch/x86/mm/pageattr.c b/arch/x86/mm/pageattr.c
> index 8fee5b6f8f66..af74849e8c0f 100644
> --- a/arch/x86/mm/pageattr.c
> +++ b/arch/x86/mm/pageattr.c
> @@ -1055,7 +1055,7 @@ static int populate_pud(struct cpa_data *cpa,
> unsigned long start, pgd_t *pgd,
>  	/*
>  	 * Map everything starting from the Gb boundary, possibly
> with 1G pages
>  	 */
> -	while (end - start >= PUD_SIZE) {
> +	while (cpu_has_gbpages && end - start >= PUD_SIZE) {
>  		set_pud(pud, __pud(cpa->pfn << PAGE_SHIFT |
> _PAGE_PSE |
>  				   massage_pgprot(pud_pgprot)));
> 

Yes, that does fix it.

Cheers,
Scott

^ permalink raw reply	[flat|nested] 15+ messages in thread

* Re: [PATCH] x86/efi: Always map boot service regions into new EFI page tables
       [not found]               ` <20160313230736.GB2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
  2016-03-14  1:09                 ` Scott Ashcroft
@ 2016-03-14 10:30                 ` Ingo Molnar
       [not found]                   ` <20160314103019.GA32573-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
  1 sibling, 1 reply; 15+ messages in thread
From: Ingo Molnar @ 2016-03-14 10:30 UTC (permalink / raw)
  To: Matt Fleming
  Cc: Scott Ashcroft, H . Peter Anvin, Thomas Gleixner, Ard Biesheuvel,
	linux-kernel-u79uwXL29TY76Z2rM5mHXA,
	linux-efi-u79uwXL29TY76Z2rM5mHXA, Maarten Lankhorst,
	Matthew Garrett, Borislav Petkov, Ben Hutchings, Raphael Hertzog,
	Roger Shimizu, Alexis Murzeau


* Matt Fleming <matt-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org> wrote:

> diff --git a/arch/x86/mm/pageattr.c b/arch/x86/mm/pageattr.c
> index 8fee5b6f8f66..af74849e8c0f 100644
> --- a/arch/x86/mm/pageattr.c
> +++ b/arch/x86/mm/pageattr.c
> @@ -1055,7 +1055,7 @@ static int populate_pud(struct cpa_data *cpa, unsigned long start, pgd_t *pgd,
>  	/*
>  	 * Map everything starting from the Gb boundary, possibly with 1G pages
>  	 */
> -	while (end - start >= PUD_SIZE) {
> +	while (cpu_has_gbpages && end - start >= PUD_SIZE) {
>  		set_pud(pud, __pud(cpa->pfn << PAGE_SHIFT | _PAGE_PSE |
>  				   massage_pgprot(pud_pgprot)));

Btw., can 'cpa->pfn << PAGE_SHIFT' possibly work on 32-bit systems?

cpa->pfn is unsigned long, so the result gets truncated to 32 bits ...

cpa->pfn should be u64.

Thanks,

	Ingo

^ permalink raw reply	[flat|nested] 15+ messages in thread

* Re: [PATCH] x86/efi: Always map boot service regions into new EFI page tables
       [not found]                   ` <20160314103019.GA32573-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
@ 2016-03-14 11:35                     ` Matt Fleming
       [not found]                       ` <20160314113502.GC2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
  0 siblings, 1 reply; 15+ messages in thread
From: Matt Fleming @ 2016-03-14 11:35 UTC (permalink / raw)
  To: Ingo Molnar
  Cc: Scott Ashcroft, H . Peter Anvin, Thomas Gleixner, Ard Biesheuvel,
	linux-kernel-u79uwXL29TY76Z2rM5mHXA,
	linux-efi-u79uwXL29TY76Z2rM5mHXA, Maarten Lankhorst,
	Matthew Garrett, Borislav Petkov, Ben Hutchings, Raphael Hertzog,
	Roger Shimizu, Alexis Murzeau

On Mon, 14 Mar, at 11:30:19AM, Ingo Molnar wrote:
> 
> * Matt Fleming <matt-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org> wrote:
> 
> > diff --git a/arch/x86/mm/pageattr.c b/arch/x86/mm/pageattr.c
> > index 8fee5b6f8f66..af74849e8c0f 100644
> > --- a/arch/x86/mm/pageattr.c
> > +++ b/arch/x86/mm/pageattr.c
> > @@ -1055,7 +1055,7 @@ static int populate_pud(struct cpa_data *cpa, unsigned long start, pgd_t *pgd,
> >  	/*
> >  	 * Map everything starting from the Gb boundary, possibly with 1G pages
> >  	 */
> > -	while (end - start >= PUD_SIZE) {
> > +	while (cpu_has_gbpages && end - start >= PUD_SIZE) {
> >  		set_pud(pud, __pud(cpa->pfn << PAGE_SHIFT | _PAGE_PSE |
> >  				   massage_pgprot(pud_pgprot)));
> 
> Btw., can 'cpa->pfn << PAGE_SHIFT' possibly work on 32-bit systems?
> 
> cpa->pfn is unsigned long, so the result gets truncated to 32 bits ...
> 
> cpa->pfn should be u64.

That is a nice catch.

Note that we never run this code on 32-bit right now. Moving 32-bit to
this code and away from the old_map scheme is on my TODO list.

^ permalink raw reply	[flat|nested] 15+ messages in thread

* Re: [PATCH] x86/efi: Always map boot service regions into new EFI page tables
       [not found]                       ` <20160314113502.GC2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
@ 2016-03-14 12:05                         ` Ingo Molnar
       [not found]                           ` <20160314120502.GA17388-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
  0 siblings, 1 reply; 15+ messages in thread
From: Ingo Molnar @ 2016-03-14 12:05 UTC (permalink / raw)
  To: Matt Fleming
  Cc: Scott Ashcroft, H . Peter Anvin, Thomas Gleixner, Ard Biesheuvel,
	linux-kernel-u79uwXL29TY76Z2rM5mHXA,
	linux-efi-u79uwXL29TY76Z2rM5mHXA, Maarten Lankhorst,
	Matthew Garrett, Borislav Petkov, Ben Hutchings, Raphael Hertzog,
	Roger Shimizu, Alexis Murzeau


* Matt Fleming <matt-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org> wrote:

> On Mon, 14 Mar, at 11:30:19AM, Ingo Molnar wrote:
> > 
> > * Matt Fleming <matt-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org> wrote:
> > 
> > > diff --git a/arch/x86/mm/pageattr.c b/arch/x86/mm/pageattr.c
> > > index 8fee5b6f8f66..af74849e8c0f 100644
> > > --- a/arch/x86/mm/pageattr.c
> > > +++ b/arch/x86/mm/pageattr.c
> > > @@ -1055,7 +1055,7 @@ static int populate_pud(struct cpa_data *cpa, unsigned long start, pgd_t *pgd,
> > >  	/*
> > >  	 * Map everything starting from the Gb boundary, possibly with 1G pages
> > >  	 */
> > > -	while (end - start >= PUD_SIZE) {
> > > +	while (cpu_has_gbpages && end - start >= PUD_SIZE) {
> > >  		set_pud(pud, __pud(cpa->pfn << PAGE_SHIFT | _PAGE_PSE |
> > >  				   massage_pgprot(pud_pgprot)));
> > 
> > Btw., can 'cpa->pfn << PAGE_SHIFT' possibly work on 32-bit systems?
> > 
> > cpa->pfn is unsigned long, so the result gets truncated to 32 bits ...
> > 
> > cpa->pfn should be u64.
> 
> That is a nice catch.
> 
> Note that we never run this code on 32-bit right now. Moving 32-bit to
> this code and away from the old_map scheme is on my TODO list.

There's a number of such occurences that look suspicious:

 triton:~/tip> git grep 'cpa->pfn.*<<.*PAGE_SHIFT' arch/x86/
 arch/x86/mm/pageattr.c:         set_pmd(pmd, __pmd(cpa->pfn << PAGE_SHIFT | _PAGE_PSE |
 arch/x86/mm/pageattr.c:         set_pud(pud, __pud(cpa->pfn << PAGE_SHIFT | _PAGE_PSE |
 arch/x86/mm/pageattr.c: unsigned long laddr = (unsigned long)__va(cpa->pfn << PAGE_SHIFT);
 arch/x86/mm/pageattr.c:         unsigned long temp_cpa_vaddr = (cpa->pfn << PAGE_SHIFT) +

are you sure none of the code runs on 32-bit?

All this got introduced with:

| commit edc3b9129cecd0f0857112136f5b8b1bc1d45918
| Author: Matt Fleming <matt-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
| Date:   Fri Nov 27 21:09:31 2015 +0000
|
|    x86/mm/pat: Ensure cpa->pfn only contains page frame numbers

AFAICS.

Even if none of this is run on 32-bit, we should really fix it to be u64, because 
the code is really bogus and the fix is easy ...

Thanks,

	Ingo

^ permalink raw reply	[flat|nested] 15+ messages in thread

* Re: [PATCH] x86/efi: Always map boot service regions into new EFI page tables
       [not found]                           ` <20160314120502.GA17388-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
@ 2016-03-14 14:27                             ` Matt Fleming
       [not found]                               ` <20160314142734.GE2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
  0 siblings, 1 reply; 15+ messages in thread
From: Matt Fleming @ 2016-03-14 14:27 UTC (permalink / raw)
  To: Ingo Molnar
  Cc: Scott Ashcroft, H . Peter Anvin, Thomas Gleixner, Ard Biesheuvel,
	linux-kernel-u79uwXL29TY76Z2rM5mHXA,
	linux-efi-u79uwXL29TY76Z2rM5mHXA, Maarten Lankhorst,
	Matthew Garrett, Borislav Petkov, Ben Hutchings, Raphael Hertzog,
	Roger Shimizu, Alexis Murzeau, Julia Lawall

[-- Attachment #1: Type: text/plain, Size: 5344 bytes --]

On Mon, 14 Mar, at 01:05:02PM, Ingo Molnar wrote:
> 
> There's a number of such occurences that look suspicious:
> 
>  triton:~/tip> git grep 'cpa->pfn.*<<.*PAGE_SHIFT' arch/x86/
>  arch/x86/mm/pageattr.c:         set_pmd(pmd, __pmd(cpa->pfn << PAGE_SHIFT | _PAGE_PSE |
>  arch/x86/mm/pageattr.c:         set_pud(pud, __pud(cpa->pfn << PAGE_SHIFT | _PAGE_PSE |
>  arch/x86/mm/pageattr.c: unsigned long laddr = (unsigned long)__va(cpa->pfn << PAGE_SHIFT);
>  arch/x86/mm/pageattr.c:         unsigned long temp_cpa_vaddr = (cpa->pfn << PAGE_SHIFT) +
> 
> are you sure none of the code runs on 32-bit?

The following occurrences do not run on 32-bit,

>  arch/x86/mm/pageattr.c:         set_pmd(pmd, __pmd(cpa->pfn << PAGE_SHIFT | _PAGE_PSE |
>  arch/x86/mm/pageattr.c:         set_pud(pud, __pud(cpa->pfn << PAGE_SHIFT | _PAGE_PSE |

but these might,

>  arch/x86/mm/pageattr.c: unsigned long laddr = (unsigned long)__va(cpa->pfn << PAGE_SHIFT);
>  arch/x86/mm/pageattr.c:         unsigned long temp_cpa_vaddr = (cpa->pfn << PAGE_SHIFT) +

> All this got introduced with:
> 
> | commit edc3b9129cecd0f0857112136f5b8b1bc1d45918
> | Author: Matt Fleming <matt-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
> | Date:   Fri Nov 27 21:09:31 2015 +0000
> |
> |    x86/mm/pat: Ensure cpa->pfn only contains page frame numbers
> 
> AFAICS.
 
Kinda. The bugs that do not run on 32-bit were introduced with this
commit. The ones that will run on 32-bit existed before this.

Running the attached semantic patch across arch/x86/mm yields a few
more places where we get the data type wrong for PAE,
 
* file: arch/x86/mm/mmap.c:43 shifting int '( ( - 1UL ) & STACK_RND_MASK )' by PAGE_SHIFT is truncated to 32-bits
* file: arch/x86/mm/pageattr-test.c:57 shifting long 'i' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/pageattr-test.c:138 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/gup.c:422 shifting int 'nr' by PAGE_SHIFT is truncated to 32-bits
* file: arch/x86/mm/gup.c:303 shifting unsigned long '( unsigned long ) nr_pages' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/gup.c:370 shifting unsigned long '( unsigned long ) nr_pages' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/pat.c:751 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/pageattr-test.c:57 shifting long 'i' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/pageattr.c:947 shifting unsigned 'num_pages' by PAGE_SHIFT is truncated to 32-bits
* file: arch/x86/mm/pageattr.c:1995 shifting unsigned 'numpages' by PAGE_SHIFT is truncated to 32-bits
* file: arch/x86/mm/pageattr-test.c:138 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/pageattr.c:1117 shifting unsigned long 'cpa -> numpages' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/pageattr.c:1017 shifting unsigned long 'cpa -> numpages' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/pageattr.c:1277 shifting unsigned long 'cpa -> pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/pageattr.c:1318 shifting unsigned long 'cpa -> pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/pageattr.c:986 shifting unsigned long 'cpa -> pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/pageattr.c:1059 shifting unsigned long 'cpa -> pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/init.c:197 shifting unsigned long 'end_pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/init.c:100 shifting unsigned long 'min_pfn_mapped' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/init.c:641 shifting unsigned long 'pagenr' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/init.c:111 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/init.c:121 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/init.c:111 shifting unsigned long __initdata 'pgt_buf_end' by PAGE_SHIFT is truncated to 32-bits
* file: arch/x86/mm/init.c:196 shifting unsigned long 'start_pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/init.c:91 shifting unsigned long '( unsigned long ) num' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/init.c:117 shifting unsigned long '( pfn + i )' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/init_32.c:293 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/init_32.c:301 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/init_32.c:344 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/init_32.c:361 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
* file: arch/x86/mm/init_32.c:471 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE

The coccinelle script isn't perfect, and there are a number of false
positives. For example, the first hit is bogus and looks like a
coccinelle bug, but the results do show some things that need to be
investigated.

Running it over arch/x86/ turns up 66 potential issues.

[-- Attachment #2: page-shift.cocci --]
[-- Type: text/plain, Size: 902 bytes --]

// A variable declared as a 32-bit data type should not be shifted by
// PAGE_SHIFT because the result may not fit in sizeof(T) for large
// numbers of pages, or high page frame numbers, e.g. both of these
// are potentially bogus:
//
//	unsigned long pfn;
//	unsigned int numpages;
//	...
//	unsigned long pa = pfn << PAGE_SHIFT;
//	unsigned long size = numpages << PAGE_SHIFT;
//
// Options: --no-includes --include-headers

virtual context
virtual report
virtual org

@inttrunc@
{int, unsigned int, size_t, signed int, long, unsigned long, signed long} i;
position p;
type tt; tt i1;
@@

 \(i@p\&i1\) << PAGE_SHIFT

@script:python@
p << inttrunc.p;
i << inttrunc.i;
tt << inttrunc.tt;
@@
pae_types = ["unsigned long", "signed long", "long"]

print "* file: %s:%s shifting %s '%s' by PAGE_SHIFT is truncated to 32-bits%s" % \
	(p[0].file, p[0].line, tt, i, \
		" for PAE" if tt in pae_types else "")

^ permalink raw reply	[flat|nested] 15+ messages in thread

* Re: [PATCH] x86/efi: Always map boot service regions into new EFI page tables
       [not found]                               ` <20160314142734.GE2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
@ 2016-03-14 16:47                                 ` Ingo Molnar
  2016-03-15 15:54                                   ` Matt Fleming
  0 siblings, 1 reply; 15+ messages in thread
From: Ingo Molnar @ 2016-03-14 16:47 UTC (permalink / raw)
  To: Matt Fleming
  Cc: Scott Ashcroft, H . Peter Anvin, Thomas Gleixner, Ard Biesheuvel,
	linux-kernel-u79uwXL29TY76Z2rM5mHXA,
	linux-efi-u79uwXL29TY76Z2rM5mHXA, Maarten Lankhorst,
	Matthew Garrett, Borislav Petkov, Ben Hutchings, Raphael Hertzog,
	Roger Shimizu, Alexis Murzeau, Julia Lawall, Linus Torvalds,
	Andrew Morton, Peter Zijlstra, Josh Poimboeuf


* Matt Fleming <matt-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org> wrote:

> Running the attached semantic patch across arch/x86/mm yields a few
> more places where we get the data type wrong for PAE,

Very nice!

> * file: arch/x86/mm/mmap.c:43 shifting int '( ( - 1UL ) & STACK_RND_MASK )' by PAGE_SHIFT is truncated to 32-bits
> * file: arch/x86/mm/pageattr-test.c:57 shifting long 'i' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/pageattr-test.c:138 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/gup.c:422 shifting int 'nr' by PAGE_SHIFT is truncated to 32-bits
> * file: arch/x86/mm/gup.c:303 shifting unsigned long '( unsigned long ) nr_pages' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/gup.c:370 shifting unsigned long '( unsigned long ) nr_pages' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/pat.c:751 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/pageattr-test.c:57 shifting long 'i' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/pageattr.c:947 shifting unsigned 'num_pages' by PAGE_SHIFT is truncated to 32-bits
> * file: arch/x86/mm/pageattr.c:1995 shifting unsigned 'numpages' by PAGE_SHIFT is truncated to 32-bits
> * file: arch/x86/mm/pageattr-test.c:138 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/pageattr.c:1117 shifting unsigned long 'cpa -> numpages' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/pageattr.c:1017 shifting unsigned long 'cpa -> numpages' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/pageattr.c:1277 shifting unsigned long 'cpa -> pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/pageattr.c:1318 shifting unsigned long 'cpa -> pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/pageattr.c:986 shifting unsigned long 'cpa -> pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/pageattr.c:1059 shifting unsigned long 'cpa -> pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/init.c:197 shifting unsigned long 'end_pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/init.c:100 shifting unsigned long 'min_pfn_mapped' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/init.c:641 shifting unsigned long 'pagenr' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/init.c:111 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/init.c:121 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/init.c:111 shifting unsigned long __initdata 'pgt_buf_end' by PAGE_SHIFT is truncated to 32-bits
> * file: arch/x86/mm/init.c:196 shifting unsigned long 'start_pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/init.c:91 shifting unsigned long '( unsigned long ) num' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/init.c:117 shifting unsigned long '( pfn + i )' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/init_32.c:293 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/init_32.c:301 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/init_32.c:344 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/init_32.c:361 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> * file: arch/x86/mm/init_32.c:471 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> 
> The coccinelle script isn't perfect, and there are a number of false
> positives. For example, the first hit is bogus and looks like a
> coccinelle bug, but the results do show some things that need to be
> investigated.

So I checked a few random examples in your list, and the false positive rate looks 
rather low.

The current Kbuild integration of Cocci scripts is pretty user-hostile. I'd love 
to make this Cocci check part of the regular build process in some fashion (if a 
Kconfig option is enabled), similarly to how we run objtool for example. We could 
emit the Cocci warnings as a regular compiler 'warning: ' message, so people will 
notice them as part of the build?

The false positive(s) could either be worked around or annotated away.

Obviously we'd only use Cocci scripts that are known to be reliable.

Thanks,

	Ingo

^ permalink raw reply	[flat|nested] 15+ messages in thread

* Re: [PATCH] x86/efi: Always map boot service regions into new EFI page tables
  2016-03-14 16:47                                 ` Ingo Molnar
@ 2016-03-15 15:54                                   ` Matt Fleming
       [not found]                                     ` <20160315155418.GH2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
  0 siblings, 1 reply; 15+ messages in thread
From: Matt Fleming @ 2016-03-15 15:54 UTC (permalink / raw)
  To: Ingo Molnar
  Cc: Scott Ashcroft, H . Peter Anvin, Thomas Gleixner, Ard Biesheuvel,
	linux-kernel, linux-efi, Maarten Lankhorst, Matthew Garrett,
	Borislav Petkov, Ben Hutchings, Raphael Hertzog, Roger Shimizu,
	Alexis Murzeau, Julia Lawall, Linus Torvalds, Andrew Morton,
	Peter Zijlstra, Josh Poimboeuf, Fengguang Wu

On Mon, 14 Mar, at 05:47:00PM, Ingo Molnar wrote:
> 
> * Matt Fleming <matt@codeblueprint.co.uk> wrote:
> 
> > Running the attached semantic patch across arch/x86/mm yields a few
> > more places where we get the data type wrong for PAE,
> 
> Very nice!
> 
> > * file: arch/x86/mm/mmap.c:43 shifting int '( ( - 1UL ) & STACK_RND_MASK )' by PAGE_SHIFT is truncated to 32-bits
> > * file: arch/x86/mm/pageattr-test.c:57 shifting long 'i' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/pageattr-test.c:138 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/gup.c:422 shifting int 'nr' by PAGE_SHIFT is truncated to 32-bits
> > * file: arch/x86/mm/gup.c:303 shifting unsigned long '( unsigned long ) nr_pages' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/gup.c:370 shifting unsigned long '( unsigned long ) nr_pages' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/pat.c:751 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/pageattr-test.c:57 shifting long 'i' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/pageattr.c:947 shifting unsigned 'num_pages' by PAGE_SHIFT is truncated to 32-bits
> > * file: arch/x86/mm/pageattr.c:1995 shifting unsigned 'numpages' by PAGE_SHIFT is truncated to 32-bits
> > * file: arch/x86/mm/pageattr-test.c:138 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/pageattr.c:1117 shifting unsigned long 'cpa -> numpages' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/pageattr.c:1017 shifting unsigned long 'cpa -> numpages' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/pageattr.c:1277 shifting unsigned long 'cpa -> pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/pageattr.c:1318 shifting unsigned long 'cpa -> pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/pageattr.c:986 shifting unsigned long 'cpa -> pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/pageattr.c:1059 shifting unsigned long 'cpa -> pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/init.c:197 shifting unsigned long 'end_pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/init.c:100 shifting unsigned long 'min_pfn_mapped' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/init.c:641 shifting unsigned long 'pagenr' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/init.c:111 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/init.c:121 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/init.c:111 shifting unsigned long __initdata 'pgt_buf_end' by PAGE_SHIFT is truncated to 32-bits
> > * file: arch/x86/mm/init.c:196 shifting unsigned long 'start_pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/init.c:91 shifting unsigned long '( unsigned long ) num' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/init.c:117 shifting unsigned long '( pfn + i )' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/init_32.c:293 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/init_32.c:301 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/init_32.c:344 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/init_32.c:361 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > * file: arch/x86/mm/init_32.c:471 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > 
> > The coccinelle script isn't perfect, and there are a number of false
> > positives. For example, the first hit is bogus and looks like a
> > coccinelle bug, but the results do show some things that need to be
> > investigated.
> 
> So I checked a few random examples in your list, and the false positive rate looks 
> rather low.
> 
> The current Kbuild integration of Cocci scripts is pretty user-hostile. I'd love 
> to make this Cocci check part of the regular build process in some fashion (if a 
> Kconfig option is enabled), similarly to how we run objtool for example. We could 
> emit the Cocci warnings as a regular compiler 'warning: ' message, so people will 
> notice them as part of the build?

For this type of cocci script where architecture knowledge of bug
idioms is required (you need to know shifting by "PAGE_SHIFT" is
usually done to build an address or size of some kind) I think the
first step would be to automatically lookup scripts to be run on a
per-directory basis.

For example, running make(1) in arch/x86/kernel should map to
scripts/coccinelle/arch/x86/kernel, etc.
 
And yes, I agree, turning this on via a CONFIG_* symbol would be nice.

> The false positive(s) could either be worked around or annotated away.
> 
> Obviously we'd only use Cocci scripts that are known to be reliable.

Fengguang, do you run coccinelle scripts currently as part of the
0-day lkp build machinery?

^ permalink raw reply	[flat|nested] 15+ messages in thread

* Re: [PATCH] x86/efi: Always map boot service regions into new EFI page tables
       [not found]                                     ` <20160315155418.GH2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
@ 2016-03-15 16:05                                       ` Borislav Petkov
  2016-03-15 16:25                                       ` Julia Lawall
  1 sibling, 0 replies; 15+ messages in thread
From: Borislav Petkov @ 2016-03-15 16:05 UTC (permalink / raw)
  To: Matt Fleming
  Cc: Ingo Molnar, Scott Ashcroft, H . Peter Anvin, Thomas Gleixner,
	Ard Biesheuvel, linux-kernel-u79uwXL29TY76Z2rM5mHXA,
	linux-efi-u79uwXL29TY76Z2rM5mHXA, Maarten Lankhorst,
	Matthew Garrett, Ben Hutchings, Raphael Hertzog, Roger Shimizu,
	Alexis Murzeau, Julia Lawall, Linus Torvalds, Andrew Morton,
	Peter Zijlstra, Josh Poimboeuf, Fengguang Wu

On Tue, Mar 15, 2016 at 03:54:18PM +0000, Matt Fleming wrote:
> Fengguang, do you run coccinelle scripts currently as part of the
> 0-day lkp build machinery?

Not only that - it generates patches too. For example:

https://lkml.kernel.org/r/20160303015519.GA43500@lkp-nex06

-- 
Regards/Gruss,
    Boris.

ECO tip #101: Trim your mails when you reply.

^ permalink raw reply	[flat|nested] 15+ messages in thread

* Re: [PATCH] x86/efi: Always map boot service regions into new EFI page tables
       [not found]                                     ` <20160315155418.GH2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
  2016-03-15 16:05                                       ` Borislav Petkov
@ 2016-03-15 16:25                                       ` Julia Lawall
  1 sibling, 0 replies; 15+ messages in thread
From: Julia Lawall @ 2016-03-15 16:25 UTC (permalink / raw)
  To: Matt Fleming
  Cc: Ingo Molnar, Scott Ashcroft, H . Peter Anvin, Thomas Gleixner,
	Ard Biesheuvel, linux-kernel-u79uwXL29TY76Z2rM5mHXA,
	linux-efi-u79uwXL29TY76Z2rM5mHXA, Maarten Lankhorst,
	Matthew Garrett, Borislav Petkov, Ben Hutchings, Raphael Hertzog,
	Roger Shimizu, Alexis Murzeau, Julia Lawall, Linus Torvalds,
	Andrew Morton, Peter Zijlstra, Josh Poimboeuf, Fengguang Wu



On Tue, 15 Mar 2016, Matt Fleming wrote:

> On Mon, 14 Mar, at 05:47:00PM, Ingo Molnar wrote:
> >
> > * Matt Fleming <matt-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org> wrote:
> >
> > > Running the attached semantic patch across arch/x86/mm yields a few
> > > more places where we get the data type wrong for PAE,
> >
> > Very nice!
> >
> > > * file: arch/x86/mm/mmap.c:43 shifting int '( ( - 1UL ) & STACK_RND_MASK )' by PAGE_SHIFT is truncated to 32-bits
> > > * file: arch/x86/mm/pageattr-test.c:57 shifting long 'i' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/pageattr-test.c:138 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/gup.c:422 shifting int 'nr' by PAGE_SHIFT is truncated to 32-bits
> > > * file: arch/x86/mm/gup.c:303 shifting unsigned long '( unsigned long ) nr_pages' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/gup.c:370 shifting unsigned long '( unsigned long ) nr_pages' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/pat.c:751 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/pageattr-test.c:57 shifting long 'i' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/pageattr.c:947 shifting unsigned 'num_pages' by PAGE_SHIFT is truncated to 32-bits
> > > * file: arch/x86/mm/pageattr.c:1995 shifting unsigned 'numpages' by PAGE_SHIFT is truncated to 32-bits
> > > * file: arch/x86/mm/pageattr-test.c:138 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/pageattr.c:1117 shifting unsigned long 'cpa -> numpages' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/pageattr.c:1017 shifting unsigned long 'cpa -> numpages' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/pageattr.c:1277 shifting unsigned long 'cpa -> pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/pageattr.c:1318 shifting unsigned long 'cpa -> pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/pageattr.c:986 shifting unsigned long 'cpa -> pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/pageattr.c:1059 shifting unsigned long 'cpa -> pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/init.c:197 shifting unsigned long 'end_pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/init.c:100 shifting unsigned long 'min_pfn_mapped' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/init.c:641 shifting unsigned long 'pagenr' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/init.c:111 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/init.c:121 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/init.c:111 shifting unsigned long __initdata 'pgt_buf_end' by PAGE_SHIFT is truncated to 32-bits
> > > * file: arch/x86/mm/init.c:196 shifting unsigned long 'start_pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/init.c:91 shifting unsigned long '( unsigned long ) num' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/init.c:117 shifting unsigned long '( pfn + i )' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/init_32.c:293 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/init_32.c:301 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/init_32.c:344 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/init_32.c:361 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > > * file: arch/x86/mm/init_32.c:471 shifting unsigned long 'pfn' by PAGE_SHIFT is truncated to 32-bits for PAE
> > >
> > > The coccinelle script isn't perfect, and there are a number of false
> > > positives. For example, the first hit is bogus and looks like a
> > > coccinelle bug, but the results do show some things that need to be
> > > investigated.
> >
> > So I checked a few random examples in your list, and the false positive rate looks
> > rather low.
> >
> > The current Kbuild integration of Cocci scripts is pretty user-hostile. I'd love
> > to make this Cocci check part of the regular build process in some fashion (if a
> > Kconfig option is enabled), similarly to how we run objtool for example. We could
> > emit the Cocci warnings as a regular compiler 'warning: ' message, so people will
> > notice them as part of the build?
>
> For this type of cocci script where architecture knowledge of bug
> idioms is required (you need to know shifting by "PAGE_SHIFT" is
> usually done to build an address or size of some kind) I think the
> first step would be to automatically lookup scripts to be run on a
> per-directory basis.
>
> For example, running make(1) in arch/x86/kernel should map to
> scripts/coccinelle/arch/x86/kernel, etc.

Considering the current organization of make coccicheck, I think it would
be easier for Coccinelle to just abort on files not in the desired
directories.  This is possible to encode, although perhaps a little bit
awkward.

julia


> And yes, I agree, turning this on via a CONFIG_* symbol would be nice.
>
> > The false positive(s) could either be worked around or annotated away.
> >
> > Obviously we'd only use Cocci scripts that are known to be reliable.
>
> Fengguang, do you run coccinelle scripts currently as part of the
> 0-day lkp build machinery?
>

^ permalink raw reply	[flat|nested] 15+ messages in thread

end of thread, other threads:[~2016-03-15 16:25 UTC | newest]

Thread overview: 15+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-03-11 11:19 [GIT PULL] EFI urgent fix for v4.6 queue Matt Fleming
     [not found] ` <1457695163-29632-1-git-send-email-matt-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
2016-03-11 11:19   ` [PATCH] x86/efi: Always map boot service regions into new EFI page tables Matt Fleming
2016-03-13 17:09     ` Scott Ashcroft
     [not found]       ` <1457888975.3884.9.camel-qw6QB7/foO7QT0dZR+AlfA@public.gmane.org>
2016-03-13 21:58         ` Matt Fleming
     [not found]           ` <20160313215847.GA2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
2016-03-13 23:07             ` Matt Fleming
2016-03-13 23:44               ` Scott Ashcroft
     [not found]               ` <20160313230736.GB2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
2016-03-14  1:09                 ` Scott Ashcroft
2016-03-14 10:30                 ` Ingo Molnar
     [not found]                   ` <20160314103019.GA32573-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
2016-03-14 11:35                     ` Matt Fleming
     [not found]                       ` <20160314113502.GC2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
2016-03-14 12:05                         ` Ingo Molnar
     [not found]                           ` <20160314120502.GA17388-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
2016-03-14 14:27                             ` Matt Fleming
     [not found]                               ` <20160314142734.GE2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
2016-03-14 16:47                                 ` Ingo Molnar
2016-03-15 15:54                                   ` Matt Fleming
     [not found]                                     ` <20160315155418.GH2619-mF/unelCI9GS6iBeEJttW/XRex20P6io@public.gmane.org>
2016-03-15 16:05                                       ` Borislav Petkov
2016-03-15 16:25                                       ` Julia Lawall

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).