Re: [RFC 0/2] Delay initializing of large sections of memory

From: Robin Holt
Date: Thu Jun 27 2013 - 07:06:04 EST

Next message: David Gibson: "Re: [PATCH 3/4] KVM: PPC: Add support for IOMMU in-kernel handling"
Previous message: Xiao Guangrong: "Re: [PATCH v3 4/6] KVM: MMU: fast invalidate all mmio sptes"
In reply to: Yinghai Lu: "Re: [RFC 0/2] Delay initializing of large sections of memory"
Next in thread: Mike Travis: "Re: [RFC 0/2] Delay initializing of large sections of memory"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On Wed, Jun 26, 2013 at 11:37:43PM -0700, Yinghai Lu wrote:
> On Tue, Jun 25, 2013 at 11:58 AM, Mike Travis <travis@xxxxxxx> wrote:
> > experimenting as soon as I can. Our 32TB system is being
> > brought back to 16TB (we found a number of problems as we
> > get closer and closer to the 64TB limit), but that's still
> > a significant size.
>
> Hi, Mike,
>
> Can you post e820 memory map on system that have 32TiB or more?
>
> Is there one range size more than 16TiB? like [16TiB, 32TiB)...

[ 0.000000] BIOS-provided physical RAM map:
[ 0.000000] BIOS-e820: 0000000000000000 - 000000000007f000 (usable)
[ 0.000000] BIOS-e820: 000000000007f000 - 0000000000080000 (reserved)
[ 0.000000] BIOS-e820: 0000000000080000 - 00000000000a0000 (usable)
[ 0.000000] BIOS-e820: 0000000000100000 - 000000007abb1000 (usable)
[ 0.000000] BIOS-e820: 000000007abb1000 - 000000007abb2000 (reserved)
[ 0.000000] BIOS-e820: 000000007abb2000 - 000000007abc5000 (usable)
[ 0.000000] BIOS-e820: 000000007abc5000 - 000000007ae05000 (reserved)
[ 0.000000] BIOS-e820: 000000007ae05000 - 000000007bb13000 (usable)
[ 0.000000] BIOS-e820: 000000007bb13000 - 000000007bc13000 (reserved)
[ 0.000000] BIOS-e820: 000000007bc13000 - 000000007bd13000 (unusable)
[ 0.000000] BIOS-e820: 000000007bd13000 - 000000007be13000 (reserved)
[ 0.000000] BIOS-e820: 000000007be13000 - 000000007d1f3000 (ACPI NVS)
[ 0.000000] BIOS-e820: 000000007d1f3000 - 000000007e000000 (ACPI data)
[ 0.000000] BIOS-e820: 000000007e000000 - 000000007e2ee000 (usable)
[ 0.000000] BIOS-e820: 000000007e2ee000 - 000000007ef3f000 (ACPI data)
[ 0.000000] BIOS-e820: 000000007ef3f000 - 000000007f000000 (usable)
[ 0.000000] BIOS-e820: 0000000100000000 - 0000001f80000000 (usable)
[ 0.000000] BIOS-e820: 0000004000000000 - 0000005eff000000 (usable)
[ 0.000000] BIOS-e820: 0000008000000000 - 0000009eff000000 (usable)
[ 0.000000] BIOS-e820: 000000c000000000 - 000000deff000000 (usable)
[ 0.000000] BIOS-e820: 0000010000000000 - 0000011eff000000 (usable)
[ 0.000000] BIOS-e820: 0000014000000000 - 0000015eff000000 (usable)
[ 0.000000] BIOS-e820: 0000018000000000 - 0000019eff000000 (usable)
[ 0.000000] BIOS-e820: 000001c000000000 - 000001deff000000 (usable)
[ 0.000000] BIOS-e820: 0000020000000000 - 0000021eff000000 (usable)
[ 0.000000] BIOS-e820: 0000024000000000 - 0000025eff000000 (usable)
[ 0.000000] BIOS-e820: 0000028000000000 - 0000029eff000000 (usable)
[ 0.000000] BIOS-e820: 000002c000000000 - 000002deff000000 (usable)
[ 0.000000] BIOS-e820: 0000030000000000 - 0000031eff000000 (usable)
[ 0.000000] BIOS-e820: 0000034000000000 - 0000035eff000000 (usable)
[ 0.000000] BIOS-e820: 0000038000000000 - 0000039eff000000 (usable)
[ 0.000000] BIOS-e820: 000003c000000000 - 000003deff000000 (usable)
[ 0.000000] BIOS-e820: 0000040000000000 - 0000041eff000000 (usable)
[ 0.000000] BIOS-e820: 0000044000000000 - 0000045eff000000 (usable)
[ 0.000000] BIOS-e820: 0000048000000000 - 0000049eff000000 (usable)
[ 0.000000] BIOS-e820: 000004c000000000 - 000004deff000000 (usable)
[ 0.000000] BIOS-e820: 0000050000000000 - 0000051eff000000 (usable)
[ 0.000000] BIOS-e820: 0000054000000000 - 0000055eff000000 (usable)
[ 0.000000] BIOS-e820: 0000058000000000 - 0000059eff000000 (usable)
[ 0.000000] BIOS-e820: 000005c000000000 - 000005deff000000 (usable)
[ 0.000000] BIOS-e820: 0000060000000000 - 0000061eff000000 (usable)
[ 0.000000] BIOS-e820: 0000064000000000 - 0000065eff000000 (usable)
[ 0.000000] BIOS-e820: 0000068000000000 - 0000069eff000000 (usable)
[ 0.000000] BIOS-e820: 000006c000000000 - 000006deff000000 (usable)
[ 0.000000] BIOS-e820: 0000070000000000 - 0000071eff000000 (usable)
[ 0.000000] BIOS-e820: 0000074000000000 - 0000075eff000000 (usable)
[ 0.000000] BIOS-e820: 0000078000000000 - 0000079eff000000 (usable)
[ 0.000000] BIOS-e820: 000007c000000000 - 000007deff000000 (usable)
[ 0.000000] BIOS-e820: 0000080000000000 - 0000081eff000000 (usable)
[ 0.000000] BIOS-e820: 0000084000000000 - 0000085eff000000 (usable)
[ 0.000000] BIOS-e820: 0000088000000000 - 0000089eff000000 (usable)
[ 0.000000] BIOS-e820: 000008c000000000 - 000008deff000000 (usable)
[ 0.000000] BIOS-e820: 0000090000000000 - 0000091eff000000 (usable)
[ 0.000000] BIOS-e820: 0000094000000000 - 0000095eff000000 (usable)
[ 0.000000] BIOS-e820: 0000098000000000 - 0000099eff000000 (usable)
[ 0.000000] BIOS-e820: 000009c000000000 - 000009deff000000 (usable)
[ 0.000000] BIOS-e820: 00000a0000000000 - 00000a1eff000000 (usable)
[ 0.000000] BIOS-e820: 00000a4000000000 - 00000a5eff000000 (usable)
[ 0.000000] BIOS-e820: 00000a8000000000 - 00000a9eff000000 (usable)
[ 0.000000] BIOS-e820: 00000ac000000000 - 00000adeff000000 (usable)
[ 0.000000] BIOS-e820: 00000b0000000000 - 00000b1eff000000 (usable)
[ 0.000000] BIOS-e820: 00000b4000000000 - 00000b5eff000000 (usable)
[ 0.000000] BIOS-e820: 00000b8000000000 - 00000b9eff000000 (usable)
[ 0.000000] BIOS-e820: 00000bc000000000 - 00000bdeff000000 (usable)
[ 0.000000] BIOS-e820: 00000c0000000000 - 00000c1eff000000 (usable)
[ 0.000000] BIOS-e820: 00000c4000000000 - 00000c5eff000000 (usable)
[ 0.000000] BIOS-e820: 00000c8000000000 - 00000c9eff000000 (usable)
[ 0.000000] BIOS-e820: 00000cc000000000 - 00000cdeff000000 (usable)
[ 0.000000] BIOS-e820: 00000d0000000000 - 00000d1eff000000 (usable)
[ 0.000000] BIOS-e820: 00000d4000000000 - 00000d5eff000000 (usable)
[ 0.000000] BIOS-e820: 00000d8000000000 - 00000d9eff000000 (usable)
[ 0.000000] BIOS-e820: 00000dc000000000 - 00000ddeff000000 (usable)
[ 0.000000] BIOS-e820: 00000e0000000000 - 00000e1eff000000 (usable)
[ 0.000000] BIOS-e820: 00000e4000000000 - 00000e5eff000000 (usable)
[ 0.000000] BIOS-e820: 00000e8000000000 - 00000e9eff000000 (usable)
[ 0.000000] BIOS-e820: 00000ec000000000 - 00000edeff000000 (usable)
[ 0.000000] BIOS-e820: 00000f0000000000 - 00000f1eff000000 (usable)
[ 0.000000] BIOS-e820: 00000f4000000000 - 00000f5eff000000 (usable)
[ 0.000000] BIOS-e820: 00000f8000000000 - 00000f9eff000000 (usable)
[ 0.000000] BIOS-e820: 00000fc000000000 - 00000fdeff000000 (usable)
[ 0.000000] BIOS-e820: 0000100000000000 - 0000101eff000000 (usable)
[ 0.000000] BIOS-e820: 0000104000000000 - 0000105eff000000 (usable)
[ 0.000000] BIOS-e820: 0000108000000000 - 0000109eff000000 (usable)
[ 0.000000] BIOS-e820: 000010c000000000 - 000010deff000000 (usable)
[ 0.000000] BIOS-e820: 0000110000000000 - 0000111eff000000 (usable)
[ 0.000000] BIOS-e820: 0000114000000000 - 0000115eff000000 (usable)
[ 0.000000] BIOS-e820: 0000118000000000 - 0000119eff000000 (usable)
[ 0.000000] BIOS-e820: 000011c000000000 - 000011deff000000 (usable)
[ 0.000000] BIOS-e820: 0000120000000000 - 0000121eff000000 (usable)
[ 0.000000] BIOS-e820: 0000124000000000 - 0000125eff000000 (usable)
[ 0.000000] BIOS-e820: 0000128000000000 - 0000129eff000000 (usable)
[ 0.000000] BIOS-e820: 000012c000000000 - 000012deff000000 (usable)
[ 0.000000] BIOS-e820: 0000130000000000 - 0000131eff000000 (usable)
[ 0.000000] BIOS-e820: 0000134000000000 - 0000135eff000000 (usable)
[ 0.000000] BIOS-e820: 0000138000000000 - 0000139eff000000 (usable)
[ 0.000000] BIOS-e820: 000013c000000000 - 000013deff000000 (usable)
[ 0.000000] BIOS-e820: 0000140000000000 - 0000141eff000000 (usable)
[ 0.000000] BIOS-e820: 0000144000000000 - 0000145eff000000 (usable)
[ 0.000000] BIOS-e820: 0000148000000000 - 0000149eff000000 (usable)
[ 0.000000] BIOS-e820: 000014c000000000 - 000014deff000000 (usable)
[ 0.000000] BIOS-e820: 0000150000000000 - 0000151eff000000 (usable)
[ 0.000000] BIOS-e820: 0000154000000000 - 0000155eff000000 (usable)
[ 0.000000] BIOS-e820: 0000158000000000 - 0000159eff000000 (usable)
[ 0.000000] BIOS-e820: 000015c000000000 - 000015deff000000 (usable)
[ 0.000000] BIOS-e820: 0000160000000000 - 0000161eff000000 (usable)
[ 0.000000] BIOS-e820: 0000164000000000 - 0000165eff000000 (usable)
[ 0.000000] BIOS-e820: 0000168000000000 - 0000169eff000000 (usable)
[ 0.000000] BIOS-e820: 000016c000000000 - 000016deff000000 (usable)
[ 0.000000] BIOS-e820: 0000170000000000 - 0000171eff000000 (usable)
[ 0.000000] BIOS-e820: 0000174000000000 - 0000175eff000000 (usable)
[ 0.000000] BIOS-e820: 0000178000000000 - 0000179eff000000 (usable)
[ 0.000000] BIOS-e820: 000017c000000000 - 000017deff000000 (usable)
[ 0.000000] BIOS-e820: 0000180000000000 - 0000181eff000000 (usable)
[ 0.000000] BIOS-e820: 0000184000000000 - 0000185eff000000 (usable)
[ 0.000000] BIOS-e820: 0000188000000000 - 0000189eff000000 (usable)
[ 0.000000] BIOS-e820: 000018c000000000 - 000018deff000000 (usable)
[ 0.000000] BIOS-e820: 0000190000000000 - 0000191eff000000 (usable)
[ 0.000000] BIOS-e820: 0000194000000000 - 0000195eff000000 (usable)
[ 0.000000] BIOS-e820: 0000198000000000 - 0000199eff000000 (usable)
[ 0.000000] BIOS-e820: 000019c000000000 - 000019deff000000 (usable)
[ 0.000000] BIOS-e820: 00001a0000000000 - 00001a1eff000000 (usable)
[ 0.000000] BIOS-e820: 00001a4000000000 - 00001a5eff000000 (usable)
[ 0.000000] BIOS-e820: 00001a8000000000 - 00001a9eff000000 (usable)
[ 0.000000] BIOS-e820: 00001ac000000000 - 00001adeff000000 (usable)
[ 0.000000] BIOS-e820: 00001b0000000000 - 00001b1eff000000 (usable)
[ 0.000000] BIOS-e820: 00001b4000000000 - 00001b5eff000000 (usable)
[ 0.000000] BIOS-e820: 00001b8000000000 - 00001b9eff000000 (usable)
[ 0.000000] BIOS-e820: 00001bc000000000 - 00001bdeff000000 (usable)
[ 0.000000] bootconsole [earlyser0] enabled
[ 0.000000] NX (Execute Disable) protection: active
[ 0.000000] EFI v2.30 by EDK II
[ 0.000000] ACPI=0x7ef3e000 ACPI 2.0=0x7ef3e014 SMBIOS=0x7be0f000 UVsystab=0x7bbcb000
[ 0.000000] Kernel-defined memdesc doesn't match the one from EFI!
[ 0.000000] EFI: mem00: type=3, attr=0xf, range=[0x0000000000000000-0x0000000000001000) (0MB)
[ 0.000000] EFI: mem01: type=7, attr=0xf, range=[0x0000000000001000-0x000000000005f000) (0MB)
[ 0.000000] EFI: mem02: type=4, attr=0xf, range=[0x000000000005f000-0x0000000000060000) (0MB)
[ 0.000000] EFI: mem03: type=3, attr=0xf, range=[0x0000000000060000-0x000000000007f000) (0MB)
[ 0.000000] EFI: mem04: type=0, attr=0xf, range=[0x000000000007f000-0x0000000000080000) (0MB)
[ 0.000000] EFI: mem05: type=3, attr=0xf, range=[0x0000000000080000-0x00000000000a0000) (0MB)
[ 0.000000] EFI: mem06: type=2, attr=0xf, range=[0x0000000000100000-0x0000000000400000) (3MB)
[ 0.000000] EFI: mem07: type=3, attr=0xf, range=[0x0000000000400000-0x00000000004ee000) (0MB)
[ 0.000000] EFI: mem08: type=7, attr=0xf, range=[0x00000000004ee000-0x0000000000c00000) (7MB)
[ 0.000000] EFI: mem09: type=3, attr=0xf, range=[0x0000000000c00000-0x0000000001000000) (4MB)
[ 0.000000] EFI: mem10: type=2, attr=0xf, range=[0x0000000001000000-0x0000000001800000) (8MB)
[ 0.000000] EFI: mem11: type=7, attr=0xf, range=[0x0000000001800000-0x0000000064821000) (1584MB)
[ 0.000000] EFI: mem12: type=2, attr=0xf, range=[0x0000000064821000-0x0000000065051000) (8MB)
[ 0.000000] EFI: mem13: type=1, attr=0xf, range=[0x0000000065051000-0x000000006508f000) (0MB)
[ 0.000000] EFI: mem14: type=4, attr=0xf, range=[0x000000006508f000-0x000000006514c000) (0MB)
[ 0.000000] EFI: mem15: type=1, attr=0xf, range=[0x000000006514c000-0x0000000065209000) (0MB)
[ 0.000000] EFI: mem16: type=4, attr=0xf, range=[0x0000000065209000-0x00000000652ab000) (0MB)
[ 0.000000] EFI: mem17: type=7, attr=0xf, range=[0x00000000652ab000-0x00000000652ad000) (0MB)
[ 0.000000] EFI: mem18: type=4, attr=0xf, range=[0x00000000652ad000-0x00000000652ae000) (0MB)
[ 0.000000] EFI: mem19: type=7, attr=0xf, range=[0x00000000652ae000-0x00000000652b6000) (0MB)
[ 0.000000] EFI: mem20: type=4, attr=0xf, range=[0x00000000652b6000-0x00000000652bb000) (0MB)
[ 0.000000] EFI: mem21: type=7, attr=0xf, range=[0x00000000652bb000-0x00000000652bc000) (0MB)
[ 0.000000] EFI: mem22: type=4, attr=0xf, range=[0x00000000652bc000-0x00000000652d3000) (0MB)
[ 0.000000] EFI: mem23: type=3, attr=0xf, range=[0x00000000652d3000-0x00000000652d6000) (0MB)
[ 0.000000] EFI: mem24: type=4, attr=0xf, range=[0x00000000652d6000-0x00000000652e4000) (0MB)
[ 0.000000] EFI: mem25: type=3, attr=0xf, range=[0x00000000652e4000-0x00000000652f8000) (0MB)
[ 0.000000] EFI: mem26: type=4, attr=0xf, range=[0x00000000652f8000-0x0000000066a99000) (23MB)
[ 0.000000] EFI: mem27: type=3, attr=0xf, range=[0x0000000066a99000-0x0000000066a9f000) (0MB)
[ 0.000000] EFI: mem28: type=4, attr=0xf, range=[0x0000000066a9f000-0x000000006814e000) (22MB)
[ 0.000000] EFI: mem29: type=3, attr=0xf, range=[0x000000006814e000-0x00000000681b7000) (0MB)
[ 0.000000] EFI: mem30: type=4, attr=0xf, range=[0x00000000681b7000-0x0000000068307000) (1MB)
[ 0.000000] EFI: mem31: type=3, attr=0xf, range=[0x0000000068307000-0x000000006830a000) (0MB)
[ 0.000000] EFI: mem32: type=4, attr=0xf, range=[0x000000006830a000-0x0000000068338000) (0MB)
[ 0.000000] EFI: mem33: type=3, attr=0xf, range=[0x0000000068338000-0x0000000068369000) (0MB)
[ 0.000000] EFI: mem34: type=4, attr=0xf, range=[0x0000000068369000-0x0000000068390000) (0MB)
[ 0.000000] EFI: mem35: type=3, attr=0xf, range=[0x0000000068390000-0x0000000068393000) (0MB)
[ 0.000000] EFI: mem36: type=4, attr=0xf, range=[0x0000000068393000-0x000000006839c000) (0MB)
[ 0.000000] EFI: mem37: type=3, attr=0xf, range=[0x000000006839c000-0x00000000683b0000) (0MB)
[ 0.000000] EFI: mem38: type=4, attr=0xf, range=[0x00000000683b0000-0x00000000683b1000) (0MB)
[ 0.000000] EFI: mem39: type=3, attr=0xf, range=[0x00000000683b1000-0x00000000683b4000) (0MB)
[ 0.000000] EFI: mem40: type=4, attr=0xf, range=[0x00000000683b4000-0x00000000683b5000) (0MB)
[ 0.000000] EFI: mem41: type=3, attr=0xf, range=[0x00000000683b5000-0x00000000683bd000) (0MB)
[ 0.000000] EFI: mem42: type=4, attr=0xf, range=[0x00000000683bd000-0x00000000683be000) (0MB)
[ 0.000000] EFI: mem43: type=3, attr=0xf, range=[0x00000000683be000-0x00000000683c9000) (0MB)
[ 0.000000] EFI: mem44: type=4, attr=0xf, range=[0x00000000683c9000-0x00000000683ca000) (0MB)
[ 0.000000] EFI: mem45: type=3, attr=0xf, range=[0x00000000683ca000-0x00000000683cc000) (0MB)
[ 0.000000] EFI: mem46: type=4, attr=0xf, range=[0x00000000683cc000-0x00000000683ce000) (0MB)
[ 0.000000] EFI: mem47: type=3, attr=0xf, range=[0x00000000683ce000-0x00000000683d4000) (0MB)
[ 0.000000] EFI: mem48: type=4, attr=0xf, range=[0x00000000683d4000-0x00000000683d9000) (0MB)
[ 0.000000] EFI: mem49: type=3, attr=0xf, range=[0x00000000683d9000-0x00000000683dc000) (0MB)
[ 0.000000] EFI: mem50: type=4, attr=0xf, range=[0x00000000683dc000-0x00000000683df000) (0MB)
[ 0.000000] EFI: mem51: type=3, attr=0xf, range=[0x00000000683df000-0x00000000683eb000) (0MB)
[ 0.000000] EFI: mem52: type=4, attr=0xf, range=[0x00000000683eb000-0x000000006840e000) (0MB)
[ 0.000000] EFI: mem53: type=3, attr=0xf, range=[0x000000006840e000-0x0000000068415000) (0MB)
[ 0.000000] EFI: mem54: type=4, attr=0xf, range=[0x0000000068415000-0x000000006841b000) (0MB)
[ 0.000000] EFI: mem55: type=3, attr=0xf, range=[0x000000006841b000-0x0000000068420000) (0MB)
[ 0.000000] EFI: mem56: type=4, attr=0xf, range=[0x0000000068420000-0x0000000068423000) (0MB)
[ 0.000000] EFI: mem57: type=3, attr=0xf, range=[0x0000000068423000-0x0000000068436000) (0MB)
[ 0.000000] EFI: mem58: type=4, attr=0xf, range=[0x0000000068436000-0x0000000068437000) (0MB)
[ 0.000000] EFI: mem59: type=3, attr=0xf, range=[0x0000000068437000-0x000000006843f000) (0MB)
[ 0.000000] EFI: mem60: type=4, attr=0xf, range=[0x000000006843f000-0x0000000068440000) (0MB)
[ 0.000000] EFI: mem61: type=3, attr=0xf, range=[0x0000000068440000-0x0000000068459000) (0MB)
[ 0.000000] EFI: mem62: type=4, attr=0xf, range=[0x0000000068459000-0x000000006845b000) (0MB)
[ 0.000000] EFI: mem63: type=3, attr=0xf, range=[0x000000006845b000-0x0000000068475000) (0MB)
[ 0.000000] EFI: mem64: type=4, attr=0xf, range=[0x0000000068475000-0x0000000068478000) (0MB)
[ 0.000000] EFI: mem65: type=3, attr=0xf, range=[0x0000000068478000-0x0000000068493000) (0MB)
[ 0.000000] EFI: mem66: type=4, attr=0xf, range=[0x0000000068493000-0x0000000068495000) (0MB)
[ 0.000000] EFI: mem67: type=3, attr=0xf, range=[0x0000000068495000-0x000000006849b000) (0MB)
[ 0.000000] EFI: mem68: type=4, attr=0xf, range=[0x000000006849b000-0x000000006849c000) (0MB)
[ 0.000000] EFI: mem69: type=3, attr=0xf, range=[0x000000006849c000-0x00000000684a9000) (0MB)
[ 0.000000] EFI: mem70: type=4, attr=0xf, range=[0x00000000684a9000-0x00000000684ab000) (0MB)
[ 0.000000] EFI: mem71: type=3, attr=0xf, range=[0x00000000684ab000-0x00000000684c2000) (0MB)
[ 0.000000] EFI: mem72: type=4, attr=0xf, range=[0x00000000684c2000-0x00000000684c6000) (0MB)
[ 0.000000] EFI: mem73: type=3, attr=0xf, range=[0x00000000684c6000-0x00000000684e5000) (0MB)
[ 0.000000] EFI: mem74: type=4, attr=0xf, range=[0x00000000684e5000-0x00000000684e6000) (0MB)
[ 0.000000] EFI: mem75: type=3, attr=0xf, range=[0x00000000684e6000-0x00000000684e8000) (0MB)
[ 0.000000] EFI: mem76: type=4, attr=0xf, range=[0x00000000684e8000-0x00000000684ef000) (0MB)
[ 0.000000] EFI: mem77: type=3, attr=0xf, range=[0x00000000684ef000-0x0000000068524000) (0MB)
[ 0.000000] EFI: mem78: type=4, attr=0xf, range=[0x0000000068524000-0x0000000068525000) (0MB)
[ 0.000000] EFI: mem79: type=3, attr=0xf, range=[0x0000000068525000-0x000000006855f000) (0MB)
[ 0.000000] EFI: mem80: type=4, attr=0xf, range=[0x000000006855f000-0x0000000068560000) (0MB)
[ 0.000000] EFI: mem81: type=3, attr=0xf, range=[0x0000000068560000-0x000000006856b000) (0MB)
[ 0.000000] EFI: mem82: type=4, attr=0xf, range=[0x000000006856b000-0x000000006856d000) (0MB)
[ 0.000000] EFI: mem83: type=3, attr=0xf, range=[0x000000006856d000-0x0000000068577000) (0MB)
[ 0.000000] EFI: mem84: type=4, attr=0xf, range=[0x0000000068577000-0x0000000068578000) (0MB)
[ 0.000000] EFI: mem85: type=3, attr=0xf, range=[0x0000000068578000-0x000000006858a000) (0MB)
[ 0.000000] EFI: mem86: type=4, attr=0xf, range=[0x000000006858a000-0x0000000068632000) (0MB)
[ 0.000000] EFI: mem87: type=3, attr=0xf, range=[0x0000000068632000-0x0000000068643000) (0MB)
[ 0.000000] EFI: mem88: type=4, attr=0xf, range=[0x0000000068643000-0x0000000068805000) (1MB)
[ 0.000000] EFI: mem89: type=3, attr=0xf, range=[0x0000000068805000-0x0000000068809000) (0MB)
[ 0.000000] EFI: mem90: type=7, attr=0xf, range=[0x0000000068809000-0x000000006880a000) (0MB)
[ 0.000000] EFI: mem91: type=4, attr=0xf, range=[0x000000006880a000-0x000000006880c000) (0MB)
[ 0.000000] EFI: mem92: type=7, attr=0xf, range=[0x000000006880c000-0x000000006880d000) (0MB)
[ 0.000000] EFI: mem93: type=4, attr=0xf, range=[0x000000006880d000-0x000000006880e000) (0MB)
[ 0.000000] EFI: mem94: type=7, attr=0xf, range=[0x000000006880e000-0x0000000068838000) (0MB)
[ 0.000000] EFI: mem95: type=2, attr=0xf, range=[0x0000000068838000-0x0000000068850000) (0MB)
[ 0.000000] EFI: mem96: type=4, attr=0xf, range=[0x0000000068850000-0x00000000691e6000) (9MB)
[ 0.000000] EFI: mem97: type=3, attr=0xf, range=[0x00000000691e6000-0x00000000692a4000) (0MB)
[ 0.000000] EFI: mem98: type=4, attr=0xf, range=[0x00000000692a4000-0x00000000692ad000) (0MB)
[ 0.000000] EFI: mem99: type=3, attr=0xf, range=[0x00000000692ad000-0x00000000692c2000) (0MB)
[ 0.000000] EFI: mem100: type=4, attr=0xf, range=[0x00000000692c2000-0x00000000692d5000) (0MB)
[ 0.000000] EFI: mem101: type=3, attr=0xf, range=[0x00000000692d5000-0x0000000069305000) (0MB)
[ 0.000000] EFI: mem102: type=4, attr=0xf, range=[0x0000000069305000-0x000000006932b000) (0MB)
[ 0.000000] EFI: mem103: type=7, attr=0xf, range=[0x000000006932b000-0x000000006932c000) (0MB)
[ 0.000000] EFI: mem104: type=4, attr=0xf, range=[0x000000006932c000-0x0000000069339000) (0MB)
[ 0.000000] EFI: mem105: type=3, attr=0xf, range=[0x0000000069339000-0x0000000069342000) (0MB)
[ 0.000000] EFI: mem106: type=4, attr=0xf, range=[0x0000000069342000-0x0000000069347000) (0MB)
[ 0.000000] EFI: mem107: type=3, attr=0xf, range=[0x0000000069347000-0x0000000069348000) (0MB)
[ 0.000000] EFI: mem108: type=4, attr=0xf, range=[0x0000000069348000-0x000000006934e000) (0MB)
[ 0.000000] EFI: mem109: type=7, attr=0xf, range=[0x000000006934e000-0x0000000069352000) (0MB)
[ 0.000000] EFI: mem110: type=2, attr=0xf, range=[0x0000000069352000-0x0000000069357000) (0MB)
[ 0.000000] EFI: mem111: type=7, attr=0xf, range=[0x0000000069357000-0x000000006935b000) (0MB)
[ 0.000000] EFI: mem112: type=2, attr=0xf, range=[0x000000006935b000-0x000000006936d000) (0MB)
[ 0.000000] EFI: mem113: type=4, attr=0xf, range=[0x000000006936d000-0x00000000693b9000) (0MB)
[ 0.000000] EFI: mem114: type=7, attr=0xf, range=[0x00000000693b9000-0x00000000693bb000) (0MB)
[ 0.000000] EFI: mem115: type=2, attr=0xf, range=[0x00000000693bb000-0x00000000693c1000) (0MB)
[ 0.000000] EFI: mem116: type=7, attr=0xf, range=[0x00000000693c1000-0x00000000693c2000) (0MB)
[ 0.000000] EFI: mem117: type=4, attr=0xf, range=[0x00000000693c2000-0x00000000693db000) (0MB)
[ 0.000000] EFI: mem118: type=2, attr=0xf, range=[0x00000000693db000-0x00000000693dc000) (0MB)
[ 0.000000] EFI: mem119: type=4, attr=0xf, range=[0x00000000693dc000-0x00000000693f0000) (0MB)
[ 0.000000] EFI: mem120: type=2, attr=0xf, range=[0x00000000693f0000-0x0000000069405000) (0MB)
[ 0.000000] EFI: mem121: type=4, attr=0xf, range=[0x0000000069405000-0x0000000069406000) (0MB)
[ 0.000000] EFI: mem122: type=2, attr=0xf, range=[0x0000000069406000-0x0000000069409000) (0MB)
[ 0.000000] EFI: mem123: type=4, attr=0xf, range=[0x0000000069409000-0x000000006943a000) (0MB)
[ 0.000000] EFI: mem124: type=3, attr=0xf, range=[0x000000006943a000-0x0000000069474000) (0MB)
[ 0.000000] EFI: mem125: type=4, attr=0xf, range=[0x0000000069474000-0x0000000069475000) (0MB)
[ 0.000000] EFI: mem126: type=3, attr=0xf, range=[0x0000000069475000-0x000000006947e000) (0MB)
[ 0.000000] EFI: mem127: type=4, attr=0xf, range=[0x000000006947e000-0x0000000069480000) (0MB)
[ 0.000000] EFI: mem128: type=3, attr=0xf, range=[0x0000000069480000-0x0000000069495000) (0MB)
[ 0.000000] EFI: mem129: type=4, attr=0xf, range=[0x0000000069495000-0x0000000069499000) (0MB)
[ 0.000000] EFI: mem130: type=3, attr=0xf, range=[0x0000000069499000-0x00000000694aa000) (0MB)
[ 0.000000] EFI: mem131: type=4, attr=0xf, range=[0x00000000694aa000-0x00000000694b7000) (0MB)
[ 0.000000] EFI: mem132: type=3, attr=0xf, range=[0x00000000694b7000-0x00000000694ba000) (0MB)
[ 0.000000] EFI: mem133: type=4, attr=0xf, range=[0x00000000694ba000-0x00000000694bd000) (0MB)
[ 0.000000] EFI: mem134: type=3, attr=0xf, range=[0x00000000694bd000-0x00000000694de000) (0MB)
[ 0.000000] EFI: mem135: type=4, attr=0xf, range=[0x00000000694de000-0x00000000698de000) (4MB)
[ 0.000000] EFI: mem136: type=3, attr=0xf, range=[0x00000000698de000-0x00000000698e4000) (0MB)
[ 0.000000] EFI: mem137: type=4, attr=0xf, range=[0x00000000698e4000-0x00000000698e7000) (0MB)
[ 0.000000] EFI: mem138: type=3, attr=0xf, range=[0x00000000698e7000-0x00000000698e9000) (0MB)
[ 0.000000] EFI: mem139: type=4, attr=0xf, range=[0x00000000698e9000-0x00000000698eb000) (0MB)
[ 0.000000] EFI: mem140: type=3, attr=0xf, range=[0x00000000698eb000-0x00000000698ed000) (0MB)
[ 0.000000] EFI: mem141: type=4, attr=0xf, range=[0x00000000698ed000-0x00000000698ee000) (0MB)
[ 0.000000] EFI: mem142: type=3, attr=0xf, range=[0x00000000698ee000-0x00000000698f0000) (0MB)
[ 0.000000] EFI: mem143: type=4, attr=0xf, range=[0x00000000698f0000-0x00000000698f1000) (0MB)
[ 0.000000] EFI: mem144: type=3, attr=0xf, range=[0x00000000698f1000-0x0000000069907000) (0MB)
[ 0.000000] EFI: mem145: type=4, attr=0xf, range=[0x0000000069907000-0x000000006994e000) (0MB)
[ 0.000000] EFI: mem146: type=3, attr=0xf, range=[0x000000006994e000-0x000000006998b000) (0MB)
[ 0.000000] EFI: mem147: type=4, attr=0xf, range=[0x000000006998b000-0x00000000699d8000) (0MB)
[ 0.000000] EFI: mem148: type=3, attr=0xf, range=[0x00000000699d8000-0x00000000699da000) (0MB)
[ 0.000000] EFI: mem149: type=4, attr=0xf, range=[0x00000000699da000-0x00000000699db000) (0MB)
[ 0.000000] EFI: mem150: type=3, attr=0xf, range=[0x00000000699db000-0x00000000699ed000) (0MB)
[ 0.000000] EFI: mem151: type=4, attr=0xf, range=[0x00000000699ed000-0x0000000069a25000) (0MB)
[ 0.000000] EFI: mem152: type=3, attr=0xf, range=[0x0000000069a25000-0x0000000069a29000) (0MB)
[ 0.000000] EFI: mem153: type=4, attr=0xf, range=[0x0000000069a29000-0x000000007abb1000) (273MB)
[ 0.000000] EFI: mem154: type=6, attr=0x800000000000000f, range=[0x000000007abb1000-0x000000007abb2000) (0MB)
[ 0.000000] EFI: mem155: type=4, attr=0xf, range=[0x000000007abb2000-0x000000007abc5000) (0MB)
[ 0.000000] EFI: mem156: type=6, attr=0x800000000000000f, range=[0x000000007abc5000-0x000000007ae05000) (2MB)
[ 0.000000] EFI: mem157: type=4, attr=0xf, range=[0x000000007ae05000-0x000000007bb13000) (13MB)
[ 0.000000] EFI: mem158: type=6, attr=0x800000000000000f, range=[0x000000007bb13000-0x000000007bc13000) (1MB)
[ 0.000000] EFI: mem159: type=5, attr=0x800000000000000f, range=[0x000000007bc13000-0x000000007bd13000) (1MB)
[ 0.000000] EFI: mem160: type=0, attr=0xf, range=[0x000000007bd13000-0x000000007be13000) (1MB)
[ 0.000000] EFI: mem161: type=10, attr=0xf, range=[0x000000007be13000-0x000000007d1f3000) (19MB)
[ 0.000000] EFI: mem162: type=9, attr=0xf, range=[0x000000007d1f3000-0x000000007e000000) (14MB)
[ 0.000000] EFI: mem163: type=2, attr=0xf, range=[0x000000007e000000-0x000000007e2ee000) (2MB)
[ 0.000000] EFI: mem164: type=9, attr=0xf, range=[0x000000007e2ee000-0x000000007ef3f000) (12MB)
[ 0.000000] EFI: mem165: type=4, attr=0xf, range=[0x000000007ef3f000-0x000000007f000000) (0MB)
[ 0.000000] EFI: mem166: type=7, attr=0xf, range=[0x0000000100000000-0x0000001f80000000) (124928MB)
[ 0.000000] EFI: mem167: type=7, attr=0xf, range=[0x0000004000000000-0x0000005eff000000) (126960MB)
[ 0.000000] EFI: mem168: type=7, attr=0xf, range=[0x0000008000000000-0x0000009eff000000) (126960MB)
[ 0.000000] EFI: mem169: type=7, attr=0xf, range=[0x000000c000000000-0x000000deff000000) (126960MB)
[ 0.000000] EFI: mem170: type=7, attr=0xf, range=[0x0000010000000000-0x0000011eff000000) (126960MB)
[ 0.000000] EFI: mem171: type=7, attr=0xf, range=[0x0000014000000000-0x0000015eff000000) (126960MB)
[ 0.000000] EFI: mem172: type=7, attr=0xf, range=[0x0000018000000000-0x0000019eff000000) (126960MB)
[ 0.000000] EFI: mem173: type=7, attr=0xf, range=[0x000001c000000000-0x000001deff000000) (126960MB)
[ 0.000000] EFI: mem174: type=7, attr=0xf, range=[0x0000020000000000-0x0000021eff000000) (126960MB)
[ 0.000000] EFI: mem175: type=7, attr=0xf, range=[0x0000024000000000-0x0000025eff000000) (126960MB)
[ 0.000000] EFI: mem176: type=7, attr=0xf, range=[0x0000028000000000-0x0000029eff000000) (126960MB)
[ 0.000000] EFI: mem177: type=7, attr=0xf, range=[0x000002c000000000-0x000002deff000000) (126960MB)
[ 0.000000] EFI: mem178: type=7, attr=0xf, range=[0x0000030000000000-0x0000031eff000000) (126960MB)
[ 0.000000] EFI: mem179: type=7, attr=0xf, range=[0x0000034000000000-0x0000035eff000000) (126960MB)
[ 0.000000] EFI: mem180: type=7, attr=0xf, range=[0x0000038000000000-0x0000039eff000000) (126960MB)
[ 0.000000] EFI: mem181: type=7, attr=0xf, range=[0x000003c000000000-0x000003deff000000) (126960MB)
[ 0.000000] EFI: mem182: type=7, attr=0xf, range=[0x0000040000000000-0x0000041eff000000) (126960MB)
[ 0.000000] EFI: mem183: type=7, attr=0xf, range=[0x0000044000000000-0x0000045eff000000) (126960MB)
[ 0.000000] EFI: mem184: type=7, attr=0xf, range=[0x0000048000000000-0x0000049eff000000) (126960MB)
[ 0.000000] EFI: mem185: type=7, attr=0xf, range=[0x000004c000000000-0x000004deff000000) (126960MB)
[ 0.000000] EFI: mem186: type=7, attr=0xf, range=[0x0000050000000000-0x0000051eff000000) (126960MB)
[ 0.000000] EFI: mem187: type=7, attr=0xf, range=[0x0000054000000000-0x0000055eff000000) (126960MB)
[ 0.000000] EFI: mem188: type=7, attr=0xf, range=[0x0000058000000000-0x0000059eff000000) (126960MB)
[ 0.000000] EFI: mem189: type=7, attr=0xf, range=[0x000005c000000000-0x000005deff000000) (126960MB)
[ 0.000000] EFI: mem190: type=7, attr=0xf, range=[0x0000060000000000-0x0000061eff000000) (126960MB)
[ 0.000000] EFI: mem191: type=7, attr=0xf, range=[0x0000064000000000-0x0000065eff000000) (126960MB)
[ 0.000000] EFI: mem192: type=7, attr=0xf, range=[0x0000068000000000-0x0000069eff000000) (126960MB)
[ 0.000000] EFI: mem193: type=7, attr=0xf, range=[0x000006c000000000-0x000006deff000000) (126960MB)
[ 0.000000] EFI: mem194: type=7, attr=0xf, range=[0x0000070000000000-0x0000071eff000000) (126960MB)
[ 0.000000] EFI: mem195: type=7, attr=0xf, range=[0x0000074000000000-0x0000075eff000000) (126960MB)
[ 0.000000] EFI: mem196: type=7, attr=0xf, range=[0x0000078000000000-0x0000079eff000000) (126960MB)
[ 0.000000] EFI: mem197: type=7, attr=0xf, range=[0x000007c000000000-0x000007deff000000) (126960MB)
[ 0.000000] EFI: mem198: type=7, attr=0xf, range=[0x0000080000000000-0x0000081eff000000) (126960MB)
[ 0.000000] EFI: mem199: type=7, attr=0xf, range=[0x0000084000000000-0x0000085eff000000) (126960MB)
[ 0.000000] EFI: mem200: type=7, attr=0xf, range=[0x0000088000000000-0x0000089eff000000) (126960MB)
[ 0.000000] EFI: mem201: type=7, attr=0xf, range=[0x000008c000000000-0x000008deff000000) (126960MB)
[ 0.000000] EFI: mem202: type=7, attr=0xf, range=[0x0000090000000000-0x0000091eff000000) (126960MB)
[ 0.000000] EFI: mem203: type=7, attr=0xf, range=[0x0000094000000000-0x0000095eff000000) (126960MB)
[ 0.000000] EFI: mem204: type=7, attr=0xf, range=[0x0000098000000000-0x0000099eff000000) (126960MB)
[ 0.000000] EFI: mem205: type=7, attr=0xf, range=[0x000009c000000000-0x000009deff000000) (126960MB)
[ 0.000000] EFI: mem206: type=7, attr=0xf, range=[0x00000a0000000000-0x00000a1eff000000) (126960MB)
[ 0.000000] EFI: mem207: type=7, attr=0xf, range=[0x00000a4000000000-0x00000a5eff000000) (126960MB)
[ 0.000000] EFI: mem208: type=7, attr=0xf, range=[0x00000a8000000000-0x00000a9eff000000) (126960MB)
[ 0.000000] EFI: mem209: type=7, attr=0xf, range=[0x00000ac000000000-0x00000adeff000000) (126960MB)
[ 0.000000] EFI: mem210: type=7, attr=0xf, range=[0x00000b0000000000-0x00000b1eff000000) (126960MB)
[ 0.000000] EFI: mem211: type=7, attr=0xf, range=[0x00000b4000000000-0x00000b5eff000000) (126960MB)
[ 0.000000] EFI: mem212: type=7, attr=0xf, range=[0x00000b8000000000-0x00000b9eff000000) (126960MB)
[ 0.000000] EFI: mem213: type=7, attr=0xf, range=[0x00000bc000000000-0x00000bdeff000000) (126960MB)
[ 0.000000] EFI: mem214: type=7, attr=0xf, range=[0x00000c0000000000-0x00000c1eff000000) (126960MB)
[ 0.000000] EFI: mem215: type=7, attr=0xf, range=[0x00000c4000000000-0x00000c5eff000000) (126960MB)
[ 0.000000] EFI: mem216: type=7, attr=0xf, range=[0x00000c8000000000-0x00000c9eff000000) (126960MB)
[ 0.000000] EFI: mem217: type=7, attr=0xf, range=[0x00000cc000000000-0x00000cdeff000000) (126960MB)
[ 0.000000] EFI: mem218: type=7, attr=0xf, range=[0x00000d0000000000-0x00000d1eff000000) (126960MB)
[ 0.000000] EFI: mem219: type=7, attr=0xf, range=[0x00000d4000000000-0x00000d5eff000000) (126960MB)
[ 0.000000] EFI: mem220: type=7, attr=0xf, range=[0x00000d8000000000-0x00000d9eff000000) (126960MB)
[ 0.000000] EFI: mem221: type=7, attr=0xf, range=[0x00000dc000000000-0x00000ddeff000000) (126960MB)
[ 0.000000] EFI: mem222: type=7, attr=0xf, range=[0x00000e0000000000-0x00000e1eff000000) (126960MB)
[ 0.000000] EFI: mem223: type=7, attr=0xf, range=[0x00000e4000000000-0x00000e5eff000000) (126960MB)
[ 0.000000] EFI: mem224: type=7, attr=0xf, range=[0x00000e8000000000-0x00000e9eff000000) (126960MB)
[ 0.000000] EFI: mem225: type=7, attr=0xf, range=[0x00000ec000000000-0x00000edeff000000) (126960MB)
[ 0.000000] EFI: mem226: type=7, attr=0xf, range=[0x00000f0000000000-0x00000f1eff000000) (126960MB)
[ 0.000000] EFI: mem227: type=7, attr=0xf, range=[0x00000f4000000000-0x00000f5eff000000) (126960MB)
[ 0.000000] EFI: mem228: type=7, attr=0xf, range=[0x00000f8000000000-0x00000f9eff000000) (126960MB)
[ 0.000000] EFI: mem229: type=7, attr=0xf, range=[0x00000fc000000000-0x00000fdeff000000) (126960MB)
[ 0.000000] EFI: mem230: type=7, attr=0xf, range=[0x0000100000000000-0x0000101eff000000) (126960MB)
[ 0.000000] EFI: mem231: type=7, attr=0xf, range=[0x0000104000000000-0x0000105eff000000) (126960MB)
[ 0.000000] EFI: mem232: type=7, attr=0xf, range=[0x0000108000000000-0x0000109eff000000) (126960MB)
[ 0.000000] EFI: mem233: type=7, attr=0xf, range=[0x000010c000000000-0x000010deff000000) (126960MB)
[ 0.000000] EFI: mem234: type=7, attr=0xf, range=[0x0000110000000000-0x0000111eff000000) (126960MB)
[ 0.000000] EFI: mem235: type=7, attr=0xf, range=[0x0000114000000000-0x0000115eff000000) (126960MB)
[ 0.000000] EFI: mem236: type=7, attr=0xf, range=[0x0000118000000000-0x0000119eff000000) (126960MB)
[ 0.000000] EFI: mem237: type=7, attr=0xf, range=[0x000011c000000000-0x000011deff000000) (126960MB)
[ 0.000000] EFI: mem238: type=7, attr=0xf, range=[0x0000120000000000-0x0000121eff000000) (126960MB)
[ 0.000000] EFI: mem239: type=7, attr=0xf, range=[0x0000124000000000-0x0000125eff000000) (126960MB)
[ 0.000000] EFI: mem240: type=7, attr=0xf, range=[0x0000128000000000-0x0000129eff000000) (126960MB)
[ 0.000000] EFI: mem241: type=7, attr=0xf, range=[0x000012c000000000-0x000012deff000000) (126960MB)
[ 0.000000] EFI: mem242: type=7, attr=0xf, range=[0x0000130000000000-0x0000131eff000000) (126960MB)
[ 0.000000] EFI: mem243: type=7, attr=0xf, range=[0x0000134000000000-0x0000135eff000000) (126960MB)
[ 0.000000] EFI: mem244: type=7, attr=0xf, range=[0x0000138000000000-0x0000139eff000000) (126960MB)
[ 0.000000] EFI: mem245: type=7, attr=0xf, range=[0x000013c000000000-0x000013deff000000) (126960MB)
[ 0.000000] EFI: mem246: type=7, attr=0xf, range=[0x0000140000000000-0x0000141eff000000) (126960MB)
[ 0.000000] EFI: mem247: type=7, attr=0xf, range=[0x0000144000000000-0x0000145eff000000) (126960MB)
[ 0.000000] EFI: mem248: type=7, attr=0xf, range=[0x0000148000000000-0x0000149eff000000) (126960MB)
[ 0.000000] EFI: mem249: type=7, attr=0xf, range=[0x000014c000000000-0x000014deff000000) (126960MB)
[ 0.000000] EFI: mem250: type=7, attr=0xf, range=[0x0000150000000000-0x0000151eff000000) (126960MB)
[ 0.000000] EFI: mem251: type=7, attr=0xf, range=[0x0000154000000000-0x0000155eff000000) (126960MB)
[ 0.000000] EFI: mem252: type=7, attr=0xf, range=[0x0000158000000000-0x0000159eff000000) (126960MB)
[ 0.000000] EFI: mem253: type=7, attr=0xf, range=[0x000015c000000000-0x000015deff000000) (126960MB)
[ 0.000000] EFI: mem254: type=7, attr=0xf, range=[0x0000160000000000-0x0000161eff000000) (126960MB)
[ 0.000000] EFI: mem255: type=7, attr=0xf, range=[0x0000164000000000-0x0000165eff000000) (126960MB)
[ 0.000000] EFI: mem256: type=7, attr=0xf, range=[0x0000168000000000-0x0000169eff000000) (126960MB)
[ 0.000000] EFI: mem257: type=7, attr=0xf, range=[0x000016c000000000-0x000016deff000000) (126960MB)
[ 0.000000] EFI: mem258: type=7, attr=0xf, range=[0x0000170000000000-0x0000171eff000000) (126960MB)
[ 0.000000] EFI: mem259: type=7, attr=0xf, range=[0x0000174000000000-0x0000175eff000000) (126960MB)
[ 0.000000] EFI: mem260: type=7, attr=0xf, range=[0x0000178000000000-0x0000179eff000000) (126960MB)
[ 0.000000] EFI: mem261: type=7, attr=0xf, range=[0x000017c000000000-0x000017deff000000) (126960MB)
[ 0.000000] EFI: mem262: type=7, attr=0xf, range=[0x0000180000000000-0x0000181eff000000) (126960MB)
[ 0.000000] EFI: mem263: type=7, attr=0xf, range=[0x0000184000000000-0x0000185eff000000) (126960MB)
[ 0.000000] EFI: mem264: type=7, attr=0xf, range=[0x0000188000000000-0x0000189eff000000) (126960MB)
[ 0.000000] EFI: mem265: type=7, attr=0xf, range=[0x000018c000000000-0x000018deff000000) (126960MB)
[ 0.000000] EFI: mem266: type=7, attr=0xf, range=[0x0000190000000000-0x0000191eff000000) (126960MB)
[ 0.000000] EFI: mem267: type=7, attr=0xf, range=[0x0000194000000000-0x0000195eff000000) (126960MB)
[ 0.000000] EFI: mem268: type=7, attr=0xf, range=[0x0000198000000000-0x0000199eff000000) (126960MB)
[ 0.000000] EFI: mem269: type=7, attr=0xf, range=[0x000019c000000000-0x000019deff000000) (126960MB)
[ 0.000000] EFI: mem270: type=7, attr=0xf, range=[0x00001a0000000000-0x00001a1eff000000) (126960MB)
[ 0.000000] EFI: mem271: type=7, attr=0xf, range=[0x00001a4000000000-0x00001a5eff000000) (126960MB)
[ 0.000000] EFI: mem272: type=7, attr=0xf, range=[0x00001a8000000000-0x00001a9eff000000) (126960MB)
[ 0.000000] EFI: mem273: type=7, attr=0xf, range=[0x00001ac000000000-0x00001adeff000000) (126960MB)
[ 0.000000] EFI: mem274: type=7, attr=0xf, range=[0x00001b0000000000-0x00001b1eff000000) (126960MB)
[ 0.000000] EFI: mem275: type=7, attr=0xf, range=[0x00001b4000000000-0x00001b5eff000000) (126960MB)
[ 0.000000] EFI: mem276: type=7, attr=0xf, range=[0x00001b8000000000-0x00001b9eff000000) (126960MB)
[ 0.000000] EFI: mem277: type=7, attr=0xf, range=[0x00001bc000000000-0x00001bdeff000000) (126960MB)
[ 0.000000] EFI: mem278: type=7, attr=0xf, range=[0x00001c0000000000-0x00001c1eff000000) (126960MB)
[ 0.000000] EFI: mem279: type=7, attr=0xf, range=[0x00001c4000000000-0x00001c5eff000000) (126960MB)
[ 0.000000] EFI: mem280: type=7, attr=0xf, range=[0x00001c8000000000-0x00001c9eff000000) (126960MB)
[ 0.000000] EFI: mem281: type=7, attr=0xf, range=[0x00001cc000000000-0x00001cdeff000000) (126960MB)
[ 0.000000] EFI: mem282: type=7, attr=0xf, range=[0x00001d0000000000-0x00001d1eff000000) (126960MB)
[ 0.000000] EFI: mem283: type=7, attr=0xf, range=[0x00001d4000000000-0x00001d5eff000000) (126960MB)
[ 0.000000] EFI: mem284: type=7, attr=0xf, range=[0x00001d8000000000-0x00001d9eff000000) (126960MB)
[ 0.000000] EFI: mem285: type=7, attr=0xf, range=[0x00001dc000000000-0x00001ddeff000000) (126960MB)
[ 0.000000] EFI: mem286: type=7, attr=0xf, range=[0x00001e0000000000-0x00001e1eff000000) (126960MB)
[ 0.000000] EFI: mem287: type=7, attr=0xf, range=[0x00001e4000000000-0x00001e5eff000000) (126960MB)
[ 0.000000] EFI: mem288: type=7, attr=0xf, range=[0x00001e8000000000-0x00001e9eff000000) (126960MB)
[ 0.000000] EFI: mem289: type=7, attr=0xf, range=[0x00001ec000000000-0x00001edeff000000) (126960MB)
[ 0.000000] EFI: mem290: type=7, attr=0xf, range=[0x00001f0000000000-0x00001f1eff000000) (126960MB)
[ 0.000000] EFI: mem291: type=7, attr=0xf, range=[0x00001f4000000000-0x00001f5eff000000) (126960MB)
[ 0.000000] EFI: mem292: type=7, attr=0xf, range=[0x00001f8000000000-0x00001f9eff000000) (126960MB)
[ 0.000000] EFI: mem293: type=7, attr=0xf, range=[0x00001fc000000000-0x00001fdeff000000) (126960MB)
[ 0.000000] EFI: mem294: type=7, attr=0xf, range=[0x0000200000000000-0x0000201eff000000) (126960MB)
[ 0.000000] EFI: mem295: type=7, attr=0xf, range=[0x0000204000000000-0x0000205eff000000) (126960MB)
[ 0.000000] EFI: mem296: type=7, attr=0xf, range=[0x0000208000000000-0x0000209eff000000) (126960MB)
[ 0.000000] EFI: mem297: type=7, attr=0xf, range=[0x000020c000000000-0x000020deff000000) (126960MB)
[ 0.000000] EFI: mem298: type=7, attr=0xf, range=[0x0000210000000000-0x0000211eff000000) (126960MB)
[ 0.000000] EFI: mem299: type=7, attr=0xf, range=[0x0000214000000000-0x0000215eff000000) (126960MB)
[ 0.000000] EFI: mem300: type=7, attr=0xf, range=[0x0000218000000000-0x0000219eff000000) (126960MB)
[ 0.000000] EFI: mem301: type=7, attr=0xf, range=[0x000021c000000000-0x000021deff000000) (126960MB)
[ 0.000000] EFI: mem302: type=7, attr=0xf, range=[0x0000220000000000-0x0000221eff000000) (126960MB)
[ 0.000000] EFI: mem303: type=7, attr=0xf, range=[0x0000224000000000-0x0000225eff000000) (126960MB)
[ 0.000000] EFI: mem304: type=7, attr=0xf, range=[0x0000228000000000-0x0000229eff000000) (126960MB)
[ 0.000000] EFI: mem305: type=7, attr=0xf, range=[0x000022c000000000-0x000022deff000000) (126960MB)
[ 0.000000] EFI: mem306: type=7, attr=0xf, range=[0x0000230000000000-0x0000231eff000000) (126960MB)
[ 0.000000] EFI: mem307: type=7, attr=0xf, range=[0x0000234000000000-0x0000235eff000000) (126960MB)
[ 0.000000] EFI: mem308: type=7, attr=0xf, range=[0x0000238000000000-0x0000239eff000000) (126960MB)
[ 0.000000] EFI: mem309: type=7, attr=0xf, range=[0x000023c000000000-0x000023deff000000) (126960MB)
[ 0.000000] EFI: mem310: type=7, attr=0xf, range=[0x0000240000000000-0x0000241eff000000) (126960MB)
[ 0.000000] EFI: mem311: type=7, attr=0xf, range=[0x0000244000000000-0x0000245eff000000) (126960MB)
[ 0.000000] EFI: mem312: type=7, attr=0xf, range=[0x0000248000000000-0x0000249eff000000) (126960MB)
[ 0.000000] EFI: mem313: type=7, attr=0xf, range=[0x000024c000000000-0x000024deff000000) (126960MB)
[ 0.000000] EFI: mem314: type=7, attr=0xf, range=[0x0000250000000000-0x0000251eff000000) (126960MB)
[ 0.000000] EFI: mem315: type=7, attr=0xf, range=[0x0000254000000000-0x0000255eff000000) (126960MB)
[ 0.000000] EFI: mem316: type=7, attr=0xf, range=[0x0000258000000000-0x0000259eff000000) (126960MB)
[ 0.000000] EFI: mem317: type=7, attr=0xf, range=[0x000025c000000000-0x000025deff000000) (126960MB)
[ 0.000000] EFI: mem318: type=7, attr=0xf, range=[0x0000260000000000-0x0000261eff000000) (126960MB)
[ 0.000000] EFI: mem319: type=7, attr=0xf, range=[0x0000264000000000-0x0000265eff000000) (126960MB)
[ 0.000000] EFI: mem320: type=7, attr=0xf, range=[0x0000268000000000-0x0000269eff000000) (126960MB)
[ 0.000000] EFI: mem321: type=7, attr=0xf, range=[0x000026c000000000-0x000026deff000000) (126960MB)
[ 0.000000] EFI: mem322: type=7, attr=0xf, range=[0x0000270000000000-0x0000271eff000000) (126960MB)
[ 0.000000] EFI: mem323: type=7, attr=0xf, range=[0x0000274000000000-0x0000275eff000000) (126960MB)
[ 0.000000] EFI: mem324: type=7, attr=0xf, range=[0x0000278000000000-0x0000279eff000000) (126960MB)
[ 0.000000] EFI: mem325: type=7, attr=0xf, range=[0x000027c000000000-0x000027deff000000) (126960MB)
[ 0.000000] EFI: mem326: type=7, attr=0xf, range=[0x0000280000000000-0x0000281eff000000) (126960MB)
[ 0.000000] EFI: mem327: type=7, attr=0xf, range=[0x0000284000000000-0x0000285eff000000) (126960MB)
[ 0.000000] EFI: mem328: type=7, attr=0xf, range=[0x0000288000000000-0x0000289eff000000) (126960MB)
[ 0.000000] EFI: mem329: type=7, attr=0xf, range=[0x000028c000000000-0x000028deff000000) (126960MB)
[ 0.000000] EFI: mem330: type=7, attr=0xf, range=[0x0000290000000000-0x0000291eff000000) (126960MB)
[ 0.000000] EFI: mem331: type=7, attr=0xf, range=[0x0000294000000000-0x0000295eff000000) (126960MB)
[ 0.000000] EFI: mem332: type=7, attr=0xf, range=[0x0000298000000000-0x0000299eff000000) (126960MB)
[ 0.000000] EFI: mem333: type=7, attr=0xf, range=[0x000029c000000000-0x000029deff000000) (126960MB)
[ 0.000000] EFI: mem334: type=7, attr=0xf, range=[0x00002a0000000000-0x00002a1eff000000) (126960MB)
[ 0.000000] EFI: mem335: type=7, attr=0xf, range=[0x00002a4000000000-0x00002a5eff000000) (126960MB)
[ 0.000000] EFI: mem336: type=7, attr=0xf, range=[0x00002a8000000000-0x00002a9eff000000) (126960MB)
[ 0.000000] EFI: mem337: type=7, attr=0xf, range=[0x00002ac000000000-0x00002adeff000000) (126960MB)
[ 0.000000] EFI: mem338: type=7, attr=0xf, range=[0x00002b0000000000-0x00002b1eff000000) (126960MB)
[ 0.000000] EFI: mem339: type=7, attr=0xf, range=[0x00002b4000000000-0x00002b5eff000000) (126960MB)
[ 0.000000] EFI: mem340: type=7, attr=0xf, range=[0x00002b8000000000-0x00002b9eff000000) (126960MB)
[ 0.000000] EFI: mem341: type=7, attr=0xf, range=[0x00002bc000000000-0x00002bdeff000000) (126960MB)
[ 0.000000] EFI: mem342: type=7, attr=0xf, range=[0x00002c0000000000-0x00002c1eff000000) (126960MB)
[ 0.000000] EFI: mem343: type=7, attr=0xf, range=[0x00002c4000000000-0x00002c5eff000000) (126960MB)
[ 0.000000] EFI: mem344: type=7, attr=0xf, range=[0x00002c8000000000-0x00002c9eff000000) (126960MB)
[ 0.000000] EFI: mem345: type=7, attr=0xf, range=[0x00002cc000000000-0x00002cdeff000000) (126960MB)
[ 0.000000] EFI: mem346: type=7, attr=0xf, range=[0x00002d0000000000-0x00002d1eff000000) (126960MB)
[ 0.000000] EFI: mem347: type=7, attr=0xf, range=[0x00002d4000000000-0x00002d5eff000000) (126960MB)
[ 0.000000] EFI: mem348: type=7, attr=0xf, range=[0x00002d8000000000-0x00002d9eff000000) (126960MB)
[ 0.000000] EFI: mem349: type=7, attr=0xf, range=[0x00002dc000000000-0x00002ddeff000000) (126960MB)
[ 0.000000] EFI: mem350: type=7, attr=0xf, range=[0x00002e0000000000-0x00002e1eff000000) (126960MB)
[ 0.000000] EFI: mem351: type=7, attr=0xf, range=[0x00002e4000000000-0x00002e5eff000000) (126960MB)
[ 0.000000] EFI: mem352: type=7, attr=0xf, range=[0x00002e8000000000-0x00002e9eff000000) (126960MB)
[ 0.000000] EFI: mem353: type=7, attr=0xf, range=[0x00002ec000000000-0x00002edeff000000) (126960MB)
[ 0.000000] EFI: mem354: type=7, attr=0xf, range=[0x00002f0000000000-0x00002f1eff000000) (126960MB)
[ 0.000000] EFI: mem355: type=7, attr=0xf, range=[0x00002f4000000000-0x00002f5eff000000) (126960MB)
[ 0.000000] EFI: mem356: type=7, attr=0xf, range=[0x00002f8000000000-0x00002f9eff000000) (126960MB)
[ 0.000000] EFI: mem357: type=7, attr=0xf, range=[0x00002fc000000000-0x00002fdeff000000) (126960MB)
[ 0.000000] EFI: mem358: type=7, attr=0xf, range=[0x0000300000000000-0x0000301eff000000) (126960MB)
[ 0.000000] EFI: mem359: type=7, attr=0xf, range=[0x0000304000000000-0x0000305eff000000) (126960MB)
[ 0.000000] EFI: mem360: type=7, attr=0xf, range=[0x0000308000000000-0x0000309eff000000) (126960MB)
[ 0.000000] EFI: mem361: type=7, attr=0xf, range=[0x000030c000000000-0x000030deff000000) (126960MB)
[ 0.000000] EFI: mem362: type=7, attr=0xf, range=[0x0000310000000000-0x0000311eff000000) (126960MB)
[ 0.000000] EFI: mem363: type=7, attr=0xf, range=[0x0000314000000000-0x0000315eff000000) (126960MB)
[ 0.000000] EFI: mem364: type=7, attr=0xf, range=[0x0000318000000000-0x0000319eff000000) (126960MB)
[ 0.000000] EFI: mem365: type=7, attr=0xf, range=[0x000031c000000000-0x000031deff000000) (126960MB)
[ 0.000000] EFI: mem366: type=7, attr=0xf, range=[0x0000320000000000-0x0000321eff000000) (126960MB)
[ 0.000000] EFI: mem367: type=7, attr=0xf, range=[0x0000324000000000-0x0000325eff000000) (126960MB)
[ 0.000000] EFI: mem368: type=7, attr=0xf, range=[0x0000328000000000-0x0000329eff000000) (126960MB)
[ 0.000000] EFI: mem369: type=7, attr=0xf, range=[0x000032c000000000-0x000032deff000000) (126960MB)
[ 0.000000] EFI: mem370: type=7, attr=0xf, range=[0x0000330000000000-0x0000331eff000000) (126960MB)
[ 0.000000] EFI: mem371: type=7, attr=0xf, range=[0x0000334000000000-0x0000335eff000000) (126960MB)
[ 0.000000] EFI: mem372: type=7, attr=0xf, range=[0x0000338000000000-0x0000339eff000000) (126960MB)
[ 0.000000] EFI: mem373: type=7, attr=0xf, range=[0x000033c000000000-0x000033deff000000) (126960MB)
[ 0.000000] EFI: mem374: type=7, attr=0xf, range=[0x0000340000000000-0x0000341eff000000) (126960MB)
[ 0.000000] EFI: mem375: type=7, attr=0xf, range=[0x0000344000000000-0x0000345eff000000) (126960MB)
[ 0.000000] EFI: mem376: type=7, attr=0xf, range=[0x0000348000000000-0x0000349eff000000) (126960MB)
[ 0.000000] EFI: mem377: type=7, attr=0xf, range=[0x000034c000000000-0x000034deff000000) (126960MB)
[ 0.000000] EFI: mem378: type=7, attr=0xf, range=[0x0000350000000000-0x0000351eff000000) (126960MB)
[ 0.000000] EFI: mem379: type=7, attr=0xf, range=[0x0000354000000000-0x0000355eff000000) (126960MB)
[ 0.000000] EFI: mem380: type=7, attr=0xf, range=[0x0000358000000000-0x0000359eff000000) (126960MB)
[ 0.000000] EFI: mem381: type=7, attr=0xf, range=[0x000035c000000000-0x000035deff000000) (126960MB)
[ 0.000000] EFI: mem382: type=7, attr=0xf, range=[0x0000360000000000-0x0000361eff000000) (126960MB)
[ 0.000000] EFI: mem383: type=7, attr=0xf, range=[0x0000364000000000-0x0000365eff000000) (126960MB)
[ 0.000000] EFI: mem384: type=7, attr=0xf, range=[0x0000368000000000-0x0000369eff000000) (126960MB)
[ 0.000000] EFI: mem385: type=7, attr=0xf, range=[0x0000370000000000-0x0000371eff000000) (126960MB)
[ 0.000000] EFI: mem386: type=7, attr=0xf, range=[0x0000378000000000-0x0000379eff000000) (126960MB)
[ 0.000000] EFI: mem387: type=7, attr=0xf, range=[0x000037c000000000-0x000037deff000000) (126960MB)
[ 0.000000] EFI: mem388: type=7, attr=0xf, range=[0x0000380000000000-0x0000381eff000000) (126960MB)
[ 0.000000] EFI: mem389: type=7, attr=0xf, range=[0x0000384000000000-0x0000385eff000000) (126960MB)
[ 0.000000] EFI: mem390: type=7, attr=0xf, range=[0x0000388000000000-0x0000389eff000000) (126960MB)
[ 0.000000] EFI: mem391: type=7, attr=0xf, range=[0x000038c000000000-0x000038deff000000) (126960MB)
[ 0.000000] EFI: mem392: type=7, attr=0xf, range=[0x0000390000000000-0x0000391eff000000) (126960MB)
[ 0.000000] EFI: mem393: type=7, attr=0xf, range=[0x0000394000000000-0x0000395eff000000) (126960MB)
[ 0.000000] EFI: mem394: type=7, attr=0xf, range=[0x0000398000000000-0x0000399eff000000) (126960MB)
[ 0.000000] EFI: mem395: type=7, attr=0xf, range=[0x000039c000000000-0x000039deff000000) (126960MB)
[ 0.000000] EFI: mem396: type=7, attr=0xf, range=[0x00003a0000000000-0x00003a1eff000000) (126960MB)
[ 0.000000] EFI: mem397: type=7, attr=0xf, range=[0x00003a4000000000-0x00003a5eff000000) (126960MB)
[ 0.000000] EFI: mem398: type=7, attr=0xf, range=[0x00003a8000000000-0x00003a9eff000000) (126960MB)
[ 0.000000] EFI: mem399: type=7, attr=0xf, range=[0x00003ac000000000-0x00003adeff000000) (126960MB)
[ 0.000000] EFI: mem400: type=7, attr=0xf, range=[0x00003b0000000000-0x00003b1eff000000) (126960MB)
[ 0.000000] EFI: mem401: type=7, attr=0xf, range=[0x00003b4000000000-0x00003b5eff000000) (126960MB)
[ 0.000000] EFI: mem402: type=7, attr=0xf, range=[0x00003b8000000000-0x00003b9eff000000) (126960MB)
[ 0.000000] EFI: mem403: type=7, attr=0xf, range=[0x00003bc000000000-0x00003bdeff000000) (126960MB)
[ 0.000000] EFI: mem404: type=7, attr=0xf, range=[0x00003c0000000000-0x00003c1eff000000) (126960MB)
[ 0.000000] EFI: mem405: type=7, attr=0xf, range=[0x00003c4000000000-0x00003c5eff000000) (126960MB)
[ 0.000000] EFI: mem406: type=7, attr=0xf, range=[0x00003c8000000000-0x00003c9eff000000) (126960MB)
[ 0.000000] EFI: mem407: type=7, attr=0xf, range=[0x00003cc000000000-0x00003cdeff000000) (126960MB)
[ 0.000000] EFI: mem408: type=7, attr=0xf, range=[0x00003d0000000000-0x00003d1eff000000) (126960MB)
[ 0.000000] EFI: mem409: type=7, attr=0xf, range=[0x00003d4000000000-0x00003d5eff000000) (126960MB)
[ 0.000000] EFI: mem410: type=7, attr=0xf, range=[0x00003d8000000000-0x00003d9eff000000) (126960MB)
[ 0.000000] EFI: mem411: type=7, attr=0xf, range=[0x00003dc000000000-0x00003ddeff000000) (126960MB)
[ 0.000000] EFI: mem412: type=7, attr=0xf, range=[0x00003e0000000000-0x00003e1eff000000) (126960MB)
[ 0.000000] EFI: mem413: type=7, attr=0xf, range=[0x00003e4000000000-0x00003e5eff000000) (126960MB)
[ 0.000000] EFI: mem414: type=7, attr=0xf, range=[0x00003e8000000000-0x00003e9eff000000) (126960MB)
[ 0.000000] EFI: mem415: type=7, attr=0xf, range=[0x00003ec000000000-0x00003edeff000000) (126960MB)
[ 0.000000] EFI: mem416: type=7, attr=0xf, range=[0x00003f0000000000-0x00003f1eff000000) (126960MB)
[ 0.000000] EFI: mem417: type=7, attr=0xf, range=[0x00003f4000000000-0x00003f5eff000000) (126960MB)
[ 0.000000] EFI: mem418: type=7, attr=0xf, range=[0x00003f8000000000-0x00003f9eff000000) (126960MB)
[ 0.000000] EFI: mem419: type=7, attr=0xf, range=[0x00003fc000000000-0x00003fdeff000000) (126960MB)
[ 0.000000] EFI: mem420: type=11, attr=0x8000000000000000, range=[0x0000000080000000-0x0000000090000000) (256MB)
[ 0.000000] EFI: mem421: type=11, attr=0x8000000000000001, range=[0x00000000f8000000-0x00000000fe000000) (96MB)
[ 0.000000] EFI: mem422: type=11, attr=0x8000000000000001, range=[0x00000000fed1c000-0x00000000fed20000) (0MB)
[ 0.000000] EFI: mem423: type=11, attr=0x8000000000000001, range=[0x00003ff000000000-0x00003ff003e00000) (62MB)
[ 0.000000] EFI: mem424: type=11, attr=0x8000000000000001, range=[0x00003ff003f00000-0x00003ff007e00000) (63MB)
[ 0.000000] EFI: mem425: type=11, attr=0x8000000000000001, range=[0x00003ff007f00000-0x00003ff008000000) (1MB)
[ 0.000000] EFI: mem426: type=11, attr=0x8000000000000001, range=[0x00003ff00bf00000-0x00003ff00c000000) (1MB)
[ 0.000000] EFI: mem427: type=11, attr=0x8000000000000001, range=[0x00003ff00ff00000-0x00003ff010000000) (1MB)
[ 0.000000] EFI: mem428: type=11, attr=0x8000000000000001, range=[0x00003ff013f00000-0x00003ff014000000) (1MB)
[ 0.000000] EFI: mem429: type=11, attr=0x8000000000000001, range=[0x00003ff017f00000-0x00003ff018000000) (1MB)
[ 0.000000] EFI: mem430: type=11, attr=0x8000000000000001, range=[0x00003ff01bf00000-0x00003ff01c000000) (1MB)
[ 0.000000] EFI: mem431: type=11, attr=0x8000000000000001, range=[0x00003ff01ff00000-0x00003ff020000000) (1MB)
[ 0.000000] EFI: mem432: type=11, attr=0x8000000000000001, range=[0x00003ff023f00000-0x00003ff024000000) (1MB)
[ 0.000000] EFI: mem433: type=11, attr=0x8000000000000001, range=[0x00003ff027f00000-0x00003ff028000000) (1MB)
[ 0.000000] EFI: mem434: type=11, attr=0x8000000000000001, range=[0x00003ff02bf00000-0x00003ff02c000000) (1MB)
[ 0.000000] EFI: mem435: type=11, attr=0x8000000000000001, range=[0x00003ff02ff00000-0x00003ff030000000) (1MB)
[ 0.000000] EFI: mem436: type=11, attr=0x8000000000000001, range=[0x00003ff033f00000-0x00003ff034000000) (1MB)
[ 0.000000] EFI: mem437: type=11, attr=0x8000000000000001, range=[0x00003ff037f00000-0x00003ff038000000) (1MB)
[ 0.000000] EFI: mem438: type=11, attr=0x8000000000000001, range=[0x00003ff03bf00000-0x00003ff03c000000) (1MB)
[ 0.000000] EFI: mem439: type=11, attr=0x8000000000000001, range=[0x00003ff03ff00000-0x00003ff040000000) (1MB)
[ 0.000000] EFI: mem440: type=11, attr=0x8000000000000001, range=[0x00003ff043f00000-0x00003ff044000000) (1MB)
[ 0.000000] EFI: mem441: type=11, attr=0x8000000000000001, range=[0x00003ff047f00000-0x00003ff048000000) (1MB)
[ 0.000000] EFI: mem442: type=11, attr=0x8000000000000001, range=[0x00003ff04bf00000-0x00003ff04c000000) (1MB)
[ 0.000000] EFI: mem443: type=11, attr=0x8000000000000001, range=[0x00003ff04ff00000-0x00003ff050000000) (1MB)
[ 0.000000] EFI: mem444: type=11, attr=0x8000000000000001, range=[0x00003ff053f00000-0x00003ff054000000) (1MB)
[ 0.000000] EFI: mem445: type=11, attr=0x8000000000000001, range=[0x00003ff057f00000-0x00003ff058000000) (1MB)
[ 0.000000] EFI: mem446: type=11, attr=0x8000000000000001, range=[0x00003ff05bf00000-0x00003ff05c000000) (1MB)
[ 0.000000] EFI: mem447: type=11, attr=0x8000000000000001, range=[0x00003ff05ff00000-0x00003ff060000000) (1MB)
[ 0.000000] EFI: mem448: type=11, attr=0x8000000000000001, range=[0x00003ff063f00000-0x00003ff064000000) (1MB)
[ 0.000000] EFI: mem449: type=11, attr=0x8000000000000001, range=[0x00003ff067f00000-0x00003ff068000000) (1MB)
[ 0.000000] EFI: mem450: type=11, attr=0x8000000000000001, range=[0x00003ff06bf00000-0x00003ff06c000000) (1MB)
[ 0.000000] EFI: mem451: type=11, attr=0x8000000000000001, range=[0x00003ff06ff00000-0x00003ff070000000) (1MB)
[ 0.000000] EFI: mem452: type=11, attr=0x8000000000000001, range=[0x00003ff073f00000-0x00003ff074000000) (1MB)
[ 0.000000] EFI: mem453: type=11, attr=0x8000000000000001, range=[0x00003ff077f00000-0x00003ff078000000) (1MB)
[ 0.000000] EFI: mem454: type=11, attr=0x8000000000000001, range=[0x00003ff07bf00000-0x00003ff07c000000) (1MB)
[ 0.000000] EFI: mem455: type=11, attr=0x8000000000000001, range=[0x00003ff07ff00000-0x00003ff080000000) (1MB)
[ 0.000000] EFI: mem456: type=11, attr=0x8000000000000001, range=[0x00003ff083f00000-0x00003ff084000000) (1MB)
[ 0.000000] EFI: mem457: type=11, attr=0x8000000000000001, range=[0x00003ff087f00000-0x00003ff088000000) (1MB)
[ 0.000000] EFI: mem458: type=11, attr=0x8000000000000001, range=[0x00003ff08bf00000-0x00003ff08c000000) (1MB)
[ 0.000000] EFI: mem459: type=11, attr=0x8000000000000001, range=[0x00003ff08ff00000-0x00003ff090000000) (1MB)
[ 0.000000] EFI: mem460: type=11, attr=0x8000000000000001, range=[0x00003ff093f00000-0x00003ff094000000) (1MB)
[ 0.000000] EFI: mem461: type=11, attr=0x8000000000000001, range=[0x00003ff097f00000-0x00003ff098000000) (1MB)
[ 0.000000] EFI: mem462: type=11, attr=0x8000000000000001, range=[0x00003ff09bf00000-0x00003ff09c000000) (1MB)
[ 0.000000] EFI: mem463: type=11, attr=0x8000000000000001, range=[0x00003ff09ff00000-0x00003ff0a0000000) (1MB)
[ 0.000000] EFI: mem464: type=11, attr=0x8000000000000001, range=[0x00003ff0a3f00000-0x00003ff0a4000000) (1MB)
[ 0.000000] EFI: mem465: type=11, attr=0x8000000000000001, range=[0x00003ff0a7f00000-0x00003ff0a8000000) (1MB)
[ 0.000000] EFI: mem466: type=11, attr=0x8000000000000001, range=[0x00003ff0abf00000-0x00003ff0ac000000) (1MB)
[ 0.000000] EFI: mem467: type=11, attr=0x8000000000000001, range=[0x00003ff0aff00000-0x00003ff0b0000000) (1MB)
[ 0.000000] EFI: mem468: type=11, attr=0x8000000000000001, range=[0x00003ff0b3f00000-0x00003ff0b4000000) (1MB)
[ 0.000000] EFI: mem469: type=11, attr=0x8000000000000001, range=[0x00003ff0b7f00000-0x00003ff0b8000000) (1MB)
[ 0.000000] EFI: mem470: type=11, attr=0x8000000000000001, range=[0x00003ff0bbf00000-0x00003ff0bc000000) (1MB)
[ 0.000000] EFI: mem471: type=11, attr=0x8000000000000001, range=[0x00003ff0bff00000-0x00003ff0c0000000) (1MB)
[ 0.000000] EFI: mem472: type=11, attr=0x8000000000000001, range=[0x00003ff0c3f00000-0x00003ff0c4000000) (1MB)
[ 0.000000] EFI: mem473: type=11, attr=0x8000000000000001, range=[0x00003ff0c7f00000-0x00003ff0c8000000) (1MB)
[ 0.000000] EFI: mem474: type=11, attr=0x8000000000000001, range=[0x00003ff0cbf00000-0x00003ff0cc000000) (1MB)
[ 0.000000] EFI: mem475: type=11, attr=0x8000000000000001, range=[0x00003ff0cff00000-0x00003ff0d0000000) (1MB)
[ 0.000000] EFI: mem476: type=11, attr=0x8000000000000001, range=[0x00003ff0d3f00000-0x00003ff0d4000000) (1MB)
[ 0.000000] EFI: mem477: type=11, attr=0x8000000000000001, range=[0x00003ff0d7f00000-0x00003ff0d8000000) (1MB)
[ 0.000000] EFI: mem478: type=11, attr=0x8000000000000001, range=[0x00003ff0dbf00000-0x00003ff0dc000000) (1MB)
[ 0.000000] EFI: mem479: type=11, attr=0x8000000000000001, range=[0x00003ff0dff00000-0x00003ff0e0000000) (1MB)
[ 0.000000] EFI: mem480: type=11, attr=0x8000000000000001, range=[0x00003ff0e3f00000-0x00003ff0e4000000) (1MB)
[ 0.000000] EFI: mem481: type=11, attr=0x8000000000000001, range=[0x00003ff0e7f00000-0x00003ff0e8000000) (1MB)
[ 0.000000] EFI: mem482: type=11, attr=0x8000000000000001, range=[0x00003ff0ebf00000-0x00003ff0ec000000) (1MB)
[ 0.000000] EFI: mem483: type=11, attr=0x8000000000000001, range=[0x00003ff0eff00000-0x00003ff0f0000000) (1MB)
[ 0.000000] EFI: mem484: type=11, attr=0x8000000000000001, range=[0x00003ff0f3f00000-0x00003ff0f4000000) (1MB)
[ 0.000000] EFI: mem485: type=11, attr=0x8000000000000001, range=[0x00003ff0f7f00000-0x00003ff0f8000000) (1MB)
[ 0.000000] EFI: mem486: type=11, attr=0x8000000000000001, range=[0x00003ff0fbf00000-0x00003ff0fc000000) (1MB)
[ 0.000000] EFI: mem487: type=11, attr=0x8000000000000001, range=[0x00003ff0fff00000-0x00003ff100000000) (1MB)
[ 0.000000] EFI: mem488: type=11, attr=0x8000000000000001, range=[0x00003ff103f00000-0x00003ff104000000) (1MB)
[ 0.000000] EFI: mem489: type=11, attr=0x8000000000000001, range=[0x00003ff107f00000-0x00003ff108000000) (1MB)
[ 0.000000] EFI: mem490: type=11, attr=0x8000000000000001, range=[0x00003ff10bf00000-0x00003ff10c000000) (1MB)
[ 0.000000] EFI: mem491: type=11, attr=0x8000000000000001, range=[0x00003ff10ff00000-0x00003ff110000000) (1MB)
[ 0.000000] EFI: mem492: type=11, attr=0x8000000000000001, range=[0x00003ff113f00000-0x00003ff114000000) (1MB)
[ 0.000000] EFI: mem493: type=11, attr=0x8000000000000001, range=[0x00003ff117f00000-0x00003ff118000000) (1MB)
[ 0.000000] EFI: mem494: type=11, attr=0x8000000000000001, range=[0x00003ff11bf00000-0x00003ff11c000000) (1MB)
[ 0.000000] EFI: mem495: type=11, attr=0x8000000000000001, range=[0x00003ff11ff00000-0x00003ff120000000) (1MB)
[ 0.000000] EFI: mem496: type=11, attr=0x8000000000000001, range=[0x00003ff123f00000-0x00003ff124000000) (1MB)
[ 0.000000] EFI: mem497: type=11, attr=0x8000000000000001, range=[0x00003ff127f00000-0x00003ff128000000) (1MB)
[ 0.000000] EFI: mem498: type=11, attr=0x8000000000000001, range=[0x00003ff12bf00000-0x00003ff12c000000) (1MB)
[ 0.000000] EFI: mem499: type=11, attr=0x8000000000000001, range=[0x00003ff12ff00000-0x00003ff130000000) (1MB)
[ 0.000000] EFI: mem500: type=11, attr=0x8000000000000001, range=[0x00003ff133f00000-0x00003ff134000000) (1MB)
[ 0.000000] EFI: mem501: type=11, attr=0x8000000000000001, range=[0x00003ff137f00000-0x00003ff138000000) (1MB)
[ 0.000000] EFI: mem502: type=11, attr=0x8000000000000001, range=[0x00003ff13bf00000-0x00003ff13c000000) (1MB)
[ 0.000000] EFI: mem503: type=11, attr=0x8000000000000001, range=[0x00003ff13ff00000-0x00003ff140000000) (1MB)
[ 0.000000] EFI: mem504: type=11, attr=0x8000000000000001, range=[0x00003ff143f00000-0x00003ff144000000) (1MB)
[ 0.000000] EFI: mem505: type=11, attr=0x8000000000000001, range=[0x00003ff147f00000-0x00003ff148000000) (1MB)
[ 0.000000] EFI: mem506: type=11, attr=0x8000000000000001, range=[0x00003ff14bf00000-0x00003ff14c000000) (1MB)
[ 0.000000] EFI: mem507: type=11, attr=0x8000000000000001, range=[0x00003ff14ff00000-0x00003ff150000000) (1MB)
[ 0.000000] EFI: mem508: type=11, attr=0x8000000000000001, range=[0x00003ff153f00000-0x00003ff154000000) (1MB)
[ 0.000000] EFI: mem509: type=11, attr=0x8000000000000001, range=[0x00003ff157f00000-0x00003ff158000000) (1MB)
[ 0.000000] EFI: mem510: type=11, attr=0x8000000000000001, range=[0x00003ff15bf00000-0x00003ff15c000000) (1MB)
[ 0.000000] EFI: mem511: type=11, attr=0x8000000000000001, range=[0x00003ff15ff00000-0x00003ff160000000) (1MB)
[ 0.000000] EFI: mem512: type=11, attr=0x8000000000000001, range=[0x00003ff163f00000-0x00003ff164000000) (1MB)
[ 0.000000] EFI: mem513: type=11, attr=0x8000000000000001, range=[0x00003ff167f00000-0x00003ff168000000) (1MB)
[ 0.000000] EFI: mem514: type=11, attr=0x8000000000000001, range=[0x00003ff16bf00000-0x00003ff16c000000) (1MB)
[ 0.000000] EFI: mem515: type=11, attr=0x8000000000000001, range=[0x00003ff16ff00000-0x00003ff170000000) (1MB)
[ 0.000000] EFI: mem516: type=11, attr=0x8000000000000001, range=[0x00003ff173f00000-0x00003ff174000000) (1MB)
[ 0.000000] EFI: mem517: type=11, attr=0x8000000000000001, range=[0x00003ff177f00000-0x00003ff178000000) (1MB)
[ 0.000000] EFI: mem518: type=11, attr=0x8000000000000001, range=[0x00003ff17bf00000-0x00003ff17c000000) (1MB)
[ 0.000000] EFI: mem519: type=11, attr=0x8000000000000001, range=[0x00003ff17ff00000-0x00003ff180000000) (1MB)
[ 0.000000] EFI: mem520: type=11, attr=0x8000000000000001, range=[0x00003ff183f00000-0x00003ff184000000) (1MB)
[ 0.000000] EFI: mem521: type=11, attr=0x8000000000000001, range=[0x00003ff187f00000-0x00003ff188000000) (1MB)
[ 0.000000] EFI: mem522: type=11, attr=0x8000000000000001, range=[0x00003ff18bf00000-0x00003ff18c000000) (1MB)
[ 0.000000] EFI: mem523: type=11, attr=0x8000000000000001, range=[0x00003ff18ff00000-0x00003ff190000000) (1MB)
[ 0.000000] EFI: mem524: type=11, attr=0x8000000000000001, range=[0x00003ff193f00000-0x00003ff194000000) (1MB)
[ 0.000000] EFI: mem525: type=11, attr=0x8000000000000001, range=[0x00003ff197f00000-0x00003ff198000000) (1MB)
[ 0.000000] EFI: mem526: type=11, attr=0x8000000000000001, range=[0x00003ff19bf00000-0x00003ff19c000000) (1MB)
[ 0.000000] EFI: mem527: type=11, attr=0x8000000000000001, range=[0x00003ff19ff00000-0x00003ff1a0000000) (1MB)
[ 0.000000] EFI: mem528: type=11, attr=0x8000000000000001, range=[0x00003ff1a3f00000-0x00003ff1a4000000) (1MB)
[ 0.000000] EFI: mem529: type=11, attr=0x8000000000000001, range=[0x00003ff1a7f00000-0x00003ff1a8000000) (1MB)
[ 0.000000] EFI: mem530: type=11, attr=0x8000000000000001, range=[0x00003ff1abf00000-0x00003ff1ac000000) (1MB)
[ 0.000000] EFI: mem531: type=11, attr=0x8000000000000001, range=[0x00003ff1aff00000-0x00003ff1b0000000) (1MB)
[ 0.000000] EFI: mem532: type=11, attr=0x8000000000000001, range=[0x00003ff1b3f00000-0x00003ff1b4000000) (1MB)
[ 0.000000] EFI: mem533: type=11, attr=0x8000000000000001, range=[0x00003ff1b7f00000-0x00003ff1b8000000) (1MB)
[ 0.000000] EFI: mem534: type=11, attr=0x8000000000000001, range=[0x00003ff1bbf00000-0x00003ff1bc000000) (1MB)
[ 0.000000] EFI: mem535: type=11, attr=0x8000000000000001, range=[0x00003ff1bff00000-0x00003ff1c0000000) (1MB)
[ 0.000000] EFI: mem536: type=11, attr=0x8000000000000001, range=[0x00003ff1c3f00000-0x00003ff1c4000000) (1MB)
[ 0.000000] EFI: mem537: type=11, attr=0x8000000000000001, range=[0x00003ff1c7f00000-0x00003ff1c8000000) (1MB)
[ 0.000000] EFI: mem538: type=11, attr=0x8000000000000001, range=[0x00003ff1cbf00000-0x00003ff1cc000000) (1MB)
[ 0.000000] EFI: mem539: type=11, attr=0x8000000000000001, range=[0x00003ff1cff00000-0x00003ff1d0000000) (1MB)
[ 0.000000] EFI: mem540: type=11, attr=0x8000000000000001, range=[0x00003ff1d3f00000-0x00003ff1d4000000) (1MB)
[ 0.000000] EFI: mem541: type=11, attr=0x8000000000000001, range=[0x00003ff1d7f00000-0x00003ff1d8000000) (1MB)
[ 0.000000] EFI: mem542: type=11, attr=0x8000000000000001, range=[0x00003ff1dbf00000-0x00003ff1dc000000) (1MB)
[ 0.000000] EFI: mem543: type=11, attr=0x8000000000000001, range=[0x00003ff1dff00000-0x00003ff1e0000000) (1MB)
[ 0.000000] EFI: mem544: type=11, attr=0x8000000000000001, range=[0x00003ff1e3f00000-0x00003ff1e4000000) (1MB)
[ 0.000000] EFI: mem545: type=11, attr=0x8000000000000001, range=[0x00003ff1e7f00000-0x00003ff1e8000000) (1MB)
[ 0.000000] EFI: mem546: type=11, attr=0x8000000000000001, range=[0x00003ff1ebf00000-0x00003ff1ec000000) (1MB)
[ 0.000000] EFI: mem547: type=11, attr=0x8000000000000001, range=[0x00003ff1eff00000-0x00003ff1f0000000) (1MB)
[ 0.000000] EFI: mem548: type=11, attr=0x8000000000000001, range=[0x00003ff1f3f00000-0x00003ff1f4000000) (1MB)
[ 0.000000] EFI: mem549: type=11, attr=0x8000000000000001, range=[0x00003ff1f7f00000-0x00003ff1f8000000) (1MB)
[ 0.000000] EFI: mem550: type=11, attr=0x8000000000000001, range=[0x00003ff1fbf00000-0x00003ff1fc000000) (1MB)
[ 0.000000] EFI: mem551: type=11, attr=0x8000000000000001, range=[0x00003ff1fff00000-0x00003ff200000000) (1MB)
[ 0.000000] EFI: mem552: type=11, attr=0x8000000000000001, range=[0x00003ff203f00000-0x00003ff204000000) (1MB)
[ 0.000000] EFI: mem553: type=11, attr=0x8000000000000001, range=[0x00003ff207f00000-0x00003ff208000000) (1MB)
[ 0.000000] EFI: mem554: type=11, attr=0x8000000000000001, range=[0x00003ff20bf00000-0x00003ff20c000000) (1MB)
[ 0.000000] EFI: mem555: type=11, attr=0x8000000000000001, range=[0x00003ff20ff00000-0x00003ff210000000) (1MB)
[ 0.000000] EFI: mem556: type=11, attr=0x8000000000000001, range=[0x00003ff213f00000-0x00003ff214000000) (1MB)
[ 0.000000] EFI: mem557: type=11, attr=0x8000000000000001, range=[0x00003ff217f00000-0x00003ff218000000) (1MB)
[ 0.000000] EFI: mem558: type=11, attr=0x8000000000000001, range=[0x00003ff21bf00000-0x00003ff21c000000) (1MB)
[ 0.000000] EFI: mem559: type=11, attr=0x8000000000000001, range=[0x00003ff21ff00000-0x00003ff220000000) (1MB)
[ 0.000000] EFI: mem560: type=11, attr=0x8000000000000001, range=[0x00003ff223f00000-0x00003ff224000000) (1MB)
[ 0.000000] EFI: mem561: type=11, attr=0x8000000000000001, range=[0x00003ff227f00000-0x00003ff228000000) (1MB)
[ 0.000000] EFI: mem562: type=11, attr=0x8000000000000001, range=[0x00003ff22bf00000-0x00003ff22c000000) (1MB)
[ 0.000000] EFI: mem563: type=11, attr=0x8000000000000001, range=[0x00003ff22ff00000-0x00003ff230000000) (1MB)
[ 0.000000] EFI: mem564: type=11, attr=0x8000000000000001, range=[0x00003ff233f00000-0x00003ff234000000) (1MB)
[ 0.000000] EFI: mem565: type=11, attr=0x8000000000000001, range=[0x00003ff237f00000-0x00003ff238000000) (1MB)
[ 0.000000] EFI: mem566: type=11, attr=0x8000000000000001, range=[0x00003ff23bf00000-0x00003ff23c000000) (1MB)
[ 0.000000] EFI: mem567: type=11, attr=0x8000000000000001, range=[0x00003ff23ff00000-0x00003ff240000000) (1MB)
[ 0.000000] EFI: mem568: type=11, attr=0x8000000000000001, range=[0x00003ff243f00000-0x00003ff244000000) (1MB)
[ 0.000000] EFI: mem569: type=11, attr=0x8000000000000001, range=[0x00003ff247f00000-0x00003ff248000000) (1MB)
[ 0.000000] EFI: mem570: type=11, attr=0x8000000000000001, range=[0x00003ff24bf00000-0x00003ff24c000000) (1MB)
[ 0.000000] EFI: mem571: type=11, attr=0x8000000000000001, range=[0x00003ff24ff00000-0x00003ff250000000) (1MB)
[ 0.000000] EFI: mem572: type=11, attr=0x8000000000000001, range=[0x00003ff253f00000-0x00003ff254000000) (1MB)
[ 0.000000] EFI: mem573: type=11, attr=0x8000000000000001, range=[0x00003ff257f00000-0x00003ff258000000) (1MB)
[ 0.000000] EFI: mem574: type=11, attr=0x8000000000000001, range=[0x00003ff25bf00000-0x00003ff25c000000) (1MB)
[ 0.000000] EFI: mem575: type=11, attr=0x8000000000000001, range=[0x00003ff25ff00000-0x00003ff260000000) (1MB)
[ 0.000000] EFI: mem576: type=11, attr=0x8000000000000001, range=[0x00003ff263f00000-0x00003ff264000000) (1MB)
[ 0.000000] EFI: mem577: type=11, attr=0x8000000000000001, range=[0x00003ff267f00000-0x00003ff268000000) (1MB)
[ 0.000000] EFI: mem578: type=11, attr=0x8000000000000001, range=[0x00003ff26bf00000-0x00003ff26c000000) (1MB)
[ 0.000000] EFI: mem579: type=11, attr=0x8000000000000001, range=[0x00003ff26ff00000-0x00003ff270000000) (1MB)
[ 0.000000] EFI: mem580: type=11, attr=0x8000000000000001, range=[0x00003ff273f00000-0x00003ff274000000) (1MB)
[ 0.000000] EFI: mem581: type=11, attr=0x8000000000000001, range=[0x00003ff277f00000-0x00003ff278000000) (1MB)
[ 0.000000] EFI: mem582: type=11, attr=0x8000000000000001, range=[0x00003ff27bf00000-0x00003ff27c000000) (1MB)
[ 0.000000] EFI: mem583: type=11, attr=0x8000000000000001, range=[0x00003ff27ff00000-0x00003ff280000000) (1MB)
[ 0.000000] EFI: mem584: type=11, attr=0x8000000000000001, range=[0x00003ff283f00000-0x00003ff284000000) (1MB)
[ 0.000000] EFI: mem585: type=11, attr=0x8000000000000001, range=[0x00003ff287f00000-0x00003ff288000000) (1MB)
[ 0.000000] EFI: mem586: type=11, attr=0x8000000000000001, range=[0x00003ff28bf00000-0x00003ff28c000000) (1MB)
[ 0.000000] EFI: mem587: type=11, attr=0x8000000000000001, range=[0x00003ff28ff00000-0x00003ff290000000) (1MB)
[ 0.000000] EFI: mem588: type=11, attr=0x8000000000000001, range=[0x00003ff293f00000-0x00003ff294000000) (1MB)
[ 0.000000] EFI: mem589: type=11, attr=0x8000000000000001, range=[0x00003ff297f00000-0x00003ff298000000) (1MB)
[ 0.000000] EFI: mem590: type=11, attr=0x8000000000000001, range=[0x00003ff29bf00000-0x00003ff29c000000) (1MB)
[ 0.000000] EFI: mem591: type=11, attr=0x8000000000000001, range=[0x00003ff29ff00000-0x00003ff2a0000000) (1MB)
[ 0.000000] EFI: mem592: type=11, attr=0x8000000000000001, range=[0x00003ff2a3f00000-0x00003ff2a4000000) (1MB)
[ 0.000000] EFI: mem593: type=11, attr=0x8000000000000001, range=[0x00003ff2a7f00000-0x00003ff2a8000000) (1MB)
[ 0.000000] EFI: mem594: type=11, attr=0x8000000000000001, range=[0x00003ff2abf00000-0x00003ff2ac000000) (1MB)
[ 0.000000] EFI: mem595: type=11, attr=0x8000000000000001, range=[0x00003ff2aff00000-0x00003ff2b0000000) (1MB)
[ 0.000000] EFI: mem596: type=11, attr=0x8000000000000001, range=[0x00003ff2b3f00000-0x00003ff2b4000000) (1MB)
[ 0.000000] EFI: mem597: type=11, attr=0x8000000000000001, range=[0x00003ff2b7f00000-0x00003ff2b8000000) (1MB)
[ 0.000000] EFI: mem598: type=11, attr=0x8000000000000001, range=[0x00003ff2bbf00000-0x00003ff2bc000000) (1MB)
[ 0.000000] EFI: mem599: type=11, attr=0x8000000000000001, range=[0x00003ff2bff00000-0x00003ff2c0000000) (1MB)
[ 0.000000] EFI: mem600: type=11, attr=0x8000000000000001, range=[0x00003ff2c3f00000-0x00003ff2c4000000) (1MB)
[ 0.000000] EFI: mem601: type=11, attr=0x8000000000000001, range=[0x00003ff2c7f00000-0x00003ff2c8000000) (1MB)
[ 0.000000] EFI: mem602: type=11, attr=0x8000000000000001, range=[0x00003ff2cbf00000-0x00003ff2cc000000) (1MB)
[ 0.000000] EFI: mem603: type=11, attr=0x8000000000000001, range=[0x00003ff2cff00000-0x00003ff2d0000000) (1MB)
[ 0.000000] EFI: mem604: type=11, attr=0x8000000000000001, range=[0x00003ff2d3f00000-0x00003ff2d4000000) (1MB)
[ 0.000000] EFI: mem605: type=11, attr=0x8000000000000001, range=[0x00003ff2d7f00000-0x00003ff2d8000000) (1MB)
[ 0.000000] EFI: mem606: type=11, attr=0x8000000000000001, range=[0x00003ff2dbf00000-0x00003ff2dc000000) (1MB)
[ 0.000000] EFI: mem607: type=11, attr=0x8000000000000001, range=[0x00003ff2dff00000-0x00003ff2e0000000) (1MB)
[ 0.000000] EFI: mem608: type=11, attr=0x8000000000000001, range=[0x00003ff2e3f00000-0x00003ff2e4000000) (1MB)
[ 0.000000] EFI: mem609: type=11, attr=0x8000000000000001, range=[0x00003ff2e7f00000-0x00003ff2e8000000) (1MB)
[ 0.000000] EFI: mem610: type=11, attr=0x8000000000000001, range=[0x00003ff2ebf00000-0x00003ff2ec000000) (1MB)
[ 0.000000] EFI: mem611: type=11, attr=0x8000000000000001, range=[0x00003ff2eff00000-0x00003ff2f0000000) (1MB)
[ 0.000000] EFI: mem612: type=11, attr=0x8000000000000001, range=[0x00003ff2f3f00000-0x00003ff2f4000000) (1MB)
[ 0.000000] EFI: mem613: type=11, attr=0x8000000000000001, range=[0x00003ff2f7f00000-0x00003ff2f8000000) (1MB)
[ 0.000000] EFI: mem614: type=11, attr=0x8000000000000001, range=[0x00003ff2fbf00000-0x00003ff2fc000000) (1MB)
[ 0.000000] EFI: mem615: type=11, attr=0x8000000000000001, range=[0x00003ff2fff00000-0x00003ff300000000) (1MB)
[ 0.000000] EFI: mem616: type=11, attr=0x8000000000000001, range=[0x00003ff303f00000-0x00003ff304000000) (1MB)
[ 0.000000] EFI: mem617: type=11, attr=0x8000000000000001, range=[0x00003ff307f00000-0x00003ff308000000) (1MB)
[ 0.000000] EFI: mem618: type=11, attr=0x8000000000000001, range=[0x00003ff30bf00000-0x00003ff30c000000) (1MB)
[ 0.000000] EFI: mem619: type=11, attr=0x8000000000000001, range=[0x00003ff30ff00000-0x00003ff310000000) (1MB)
[ 0.000000] EFI: mem620: type=11, attr=0x8000000000000001, range=[0x00003ff313f00000-0x00003ff314000000) (1MB)
[ 0.000000] EFI: mem621: type=11, attr=0x8000000000000001, range=[0x00003ff317f00000-0x00003ff318000000) (1MB)
[ 0.000000] EFI: mem622: type=11, attr=0x8000000000000001, range=[0x00003ff31bf00000-0x00003ff31c000000) (1MB)
[ 0.000000] EFI: mem623: type=11, attr=0x8000000000000001, range=[0x00003ff31ff00000-0x00003ff320000000) (1MB)
[ 0.000000] EFI: mem624: type=11, attr=0x8000000000000001, range=[0x00003ff323f00000-0x00003ff324000000) (1MB)
[ 0.000000] EFI: mem625: type=11, attr=0x8000000000000001, range=[0x00003ff327f00000-0x00003ff328000000) (1MB)
[ 0.000000] EFI: mem626: type=11, attr=0x8000000000000001, range=[0x00003ff32bf00000-0x00003ff32c000000) (1MB)
[ 0.000000] EFI: mem627: type=11, attr=0x8000000000000001, range=[0x00003ff32ff00000-0x00003ff330000000) (1MB)
[ 0.000000] EFI: mem628: type=11, attr=0x8000000000000001, range=[0x00003ff333f00000-0x00003ff334000000) (1MB)
[ 0.000000] EFI: mem629: type=11, attr=0x8000000000000001, range=[0x00003ff337f00000-0x00003ff338000000) (1MB)
[ 0.000000] EFI: mem630: type=11, attr=0x8000000000000001, range=[0x00003ff33bf00000-0x00003ff33c000000) (1MB)
[ 0.000000] EFI: mem631: type=11, attr=0x8000000000000001, range=[0x00003ff33ff00000-0x00003ff340000000) (1MB)
[ 0.000000] EFI: mem632: type=11, attr=0x8000000000000001, range=[0x00003ff343f00000-0x00003ff344000000) (1MB)
[ 0.000000] EFI: mem633: type=11, attr=0x8000000000000001, range=[0x00003ff347f00000-0x00003ff348000000) (1MB)
[ 0.000000] EFI: mem634: type=11, attr=0x8000000000000001, range=[0x00003ff34bf00000-0x00003ff34c000000) (1MB)
[ 0.000000] EFI: mem635: type=11, attr=0x8000000000000001, range=[0x00003ff34ff00000-0x00003ff350000000) (1MB)
[ 0.000000] EFI: mem636: type=11, attr=0x8000000000000001, range=[0x00003ff353f00000-0x00003ff354000000) (1MB)
[ 0.000000] EFI: mem637: type=11, attr=0x8000000000000001, range=[0x00003ff357f00000-0x00003ff358000000) (1MB)
[ 0.000000] EFI: mem638: type=11, attr=0x8000000000000001, range=[0x00003ff35bf00000-0x00003ff35c000000) (1MB)
[ 0.000000] EFI: mem639: type=11, attr=0x8000000000000001, range=[0x00003ff35ff00000-0x00003ff360000000) (1MB)
[ 0.000000] EFI: mem640: type=11, attr=0x8000000000000001, range=[0x00003ff363f00000-0x00003ff364000000) (1MB)
[ 0.000000] EFI: mem641: type=11, attr=0x8000000000000001, range=[0x00003ff367f00000-0x00003ff368000000) (1MB)
[ 0.000000] EFI: mem642: type=11, attr=0x8000000000000001, range=[0x00003ff36bf00000-0x00003ff36c000000) (1MB)
[ 0.000000] EFI: mem643: type=11, attr=0x8000000000000001, range=[0x00003ff36ff00000-0x00003ff370000000) (1MB)
[ 0.000000] EFI: mem644: type=11, attr=0x8000000000000001, range=[0x00003ff373f00000-0x00003ff374000000) (1MB)
[ 0.000000] EFI: mem645: type=11, attr=0x8000000000000001, range=[0x00003ff377f00000-0x00003ff378000000) (1MB)
[ 0.000000] EFI: mem646: type=11, attr=0x8000000000000001, range=[0x00003ff37bf00000-0x00003ff37c000000) (1MB)
[ 0.000000] EFI: mem647: type=11, attr=0x8000000000000001, range=[0x00003ff37ff00000-0x00003ff380000000) (1MB)
[ 0.000000] EFI: mem648: type=11, attr=0x8000000000000001, range=[0x00003ff383f00000-0x00003ff384000000) (1MB)
[ 0.000000] EFI: mem649: type=11, attr=0x8000000000000001, range=[0x00003ff387f00000-0x00003ff388000000) (1MB)
[ 0.000000] EFI: mem650: type=11, attr=0x8000000000000001, range=[0x00003ff38bf00000-0x00003ff38c000000) (1MB)
[ 0.000000] EFI: mem651: type=11, attr=0x8000000000000001, range=[0x00003ff38ff00000-0x00003ff390000000) (1MB)
[ 0.000000] EFI: mem652: type=11, attr=0x8000000000000001, range=[0x00003ff393f00000-0x00003ff394000000) (1MB)
[ 0.000000] EFI: mem653: type=11, attr=0x8000000000000001, range=[0x00003ff397f00000-0x00003ff398000000) (1MB)
[ 0.000000] EFI: mem654: type=11, attr=0x8000000000000001, range=[0x00003ff39bf00000-0x00003ff39c000000) (1MB)
[ 0.000000] EFI: mem655: type=11, attr=0x8000000000000001, range=[0x00003ff39ff00000-0x00003ff3a0000000) (1MB)
[ 0.000000] EFI: mem656: type=11, attr=0x8000000000000001, range=[0x00003ff3a3f00000-0x00003ff3a4000000) (1MB)
[ 0.000000] EFI: mem657: type=11, attr=0x8000000000000001, range=[0x00003ff3a7f00000-0x00003ff3a8000000) (1MB)
[ 0.000000] EFI: mem658: type=11, attr=0x8000000000000001, range=[0x00003ff3abf00000-0x00003ff3ac000000) (1MB)
[ 0.000000] EFI: mem659: type=11, attr=0x8000000000000001, range=[0x00003ff3aff00000-0x00003ff3b0000000) (1MB)
[ 0.000000] EFI: mem660: type=11, attr=0x8000000000000001, range=[0x00003ff3b3f00000-0x00003ff3b4000000) (1MB)
[ 0.000000] EFI: mem661: type=11, attr=0x8000000000000001, range=[0x00003ff3b7f00000-0x00003ff3b8000000) (1MB)
[ 0.000000] EFI: mem662: type=11, attr=0x8000000000000001, range=[0x00003ff3bbf00000-0x00003ff3bc000000) (1MB)
[ 0.000000] EFI: mem663: type=11, attr=0x8000000000000001, range=[0x00003ff3bff00000-0x00003ff3c0000000) (1MB)
[ 0.000000] EFI: mem664: type=11, attr=0x8000000000000001, range=[0x00003ff3c3f00000-0x00003ff3c4000000) (1MB)
[ 0.000000] EFI: mem665: type=11, attr=0x8000000000000001, range=[0x00003ff3c7f00000-0x00003ff3c8000000) (1MB)
[ 0.000000] EFI: mem666: type=11, attr=0x8000000000000001, range=[0x00003ff3cbf00000-0x00003ff3cc000000) (1MB)
[ 0.000000] EFI: mem667: type=11, attr=0x8000000000000001, range=[0x00003ff3cff00000-0x00003ff3d0000000) (1MB)
[ 0.000000] EFI: mem668: type=11, attr=0x8000000000000001, range=[0x00003ff3d3f00000-0x00003ff3d4000000) (1MB)
[ 0.000000] EFI: mem669: type=11, attr=0x8000000000000001, range=[0x00003ff3d7f00000-0x00003ff3d8000000) (1MB)
[ 0.000000] EFI: mem670: type=11, attr=0x8000000000000001, range=[0x00003ff3dbf00000-0x00003ff3dc000000) (1MB)
[ 0.000000] EFI: mem671: type=11, attr=0x8000000000000001, range=[0x00003ff3dff00000-0x00003ff3e0000000) (1MB)
[ 0.000000] EFI: mem672: type=11, attr=0x8000000000000001, range=[0x00003ff3e3f00000-0x00003ff3e4000000) (1MB)
[ 0.000000] EFI: mem673: type=11, attr=0x8000000000000001, range=[0x00003ff3e7f00000-0x00003ff3e8000000) (1MB)
[ 0.000000] EFI: mem674: type=11, attr=0x8000000000000001, range=[0x00003ff3ebf00000-0x00003ff3ec000000) (1MB)
[ 0.000000] EFI: mem675: type=11, attr=0x8000000000000001, range=[0x00003ff3eff00000-0x00003ff3f0000000) (1MB)
[ 0.000000] EFI: mem676: type=11, attr=0x8000000000000001, range=[0x00003ff3f3f00000-0x00003ff3f4000000) (1MB)
[ 0.000000] EFI: mem677: type=11, attr=0x8000000000000001, range=[0x00003ff3f7f00000-0x00003ff3f8000000) (1MB)
[ 0.000000] EFI: mem678: type=11, attr=0x8000000000000001, range=[0x00003ff3fbf00000-0x00003ff3fc000000) (1MB)
[ 0.000000] EFI: mem679: type=11, attr=0x8000000000000001, range=[0x00003ff3fff00000-0x00003ff403000000) (49MB)
[ 0.000000] EFI: mem680: type=11, attr=0x8000000000000001, range=[0x00003ff404000000-0x00003ff407000000) (48MB)
[ 0.000000] EFI: mem681: type=11, attr=0x8000000000000001, range=[0x00003ff408000000-0x00003ff40b000000) (48MB)
[ 0.000000] EFI: mem682: type=11, attr=0x8000000000000001, range=[0x00003ff40c000000-0x00003ff40f000000) (48MB)
[ 0.000000] EFI: mem683: type=11, attr=0x8000000000000001, range=[0x00003ff410000000-0x00003ff413000000) (48MB)
[ 0.000000] EFI: mem684: type=11, attr=0x8000000000000001, range=[0x00003ff414000000-0x00003ff417000000) (48MB)
[ 0.000000] EFI: mem685: type=11, attr=0x8000000000000001, range=[0x00003ff418000000-0x00003ff41b000000) (48MB)
[ 0.000000] EFI: mem686: type=11, attr=0x8000000000000001, range=[0x00003ff41c000000-0x00003ff41f000000) (48MB)
[ 0.000000] EFI: mem687: type=11, attr=0x8000000000000001, range=[0x00003ff420000000-0x00003ff423000000) (48MB)
[ 0.000000] EFI: mem688: type=11, attr=0x8000000000000001, range=[0x00003ff424000000-0x00003ff427000000) (48MB)
[ 0.000000] EFI: mem689: type=11, attr=0x8000000000000001, range=[0x00003ff428000000-0x00003ff42b000000) (48MB)
[ 0.000000] EFI: mem690: type=11, attr=0x8000000000000001, range=[0x00003ff42c000000-0x00003ff42f000000) (48MB)
[ 0.000000] EFI: mem691: type=11, attr=0x8000000000000001, range=[0x00003ff430000000-0x00003ff433000000) (48MB)
[ 0.000000] EFI: mem692: type=11, attr=0x8000000000000001, range=[0x00003ff434000000-0x00003ff437000000) (48MB)
[ 0.000000] EFI: mem693: type=11, attr=0x8000000000000001, range=[0x00003ff438000000-0x00003ff43b000000) (48MB)
[ 0.000000] EFI: mem694: type=11, attr=0x8000000000000001, range=[0x00003ff43c000000-0x00003ff43f000000) (48MB)
[ 0.000000] EFI: mem695: type=11, attr=0x8000000000000001, range=[0x00003ff440000000-0x00003ff443000000) (48MB)
[ 0.000000] EFI: mem696: type=11, attr=0x8000000000000001, range=[0x00003ff444000000-0x00003ff447000000) (48MB)
[ 0.000000] EFI: mem697: type=11, attr=0x8000000000000001, range=[0x00003ff448000000-0x00003ff44b000000) (48MB)
[ 0.000000] EFI: mem698: type=11, attr=0x8000000000000001, range=[0x00003ff44c000000-0x00003ff44f000000) (48MB)
[ 0.000000] EFI: mem699: type=11, attr=0x8000000000000001, range=[0x00003ff450000000-0x00003ff453000000) (48MB)
[ 0.000000] EFI: mem700: type=11, attr=0x8000000000000001, range=[0x00003ff454000000-0x00003ff457000000) (48MB)
[ 0.000000] EFI: mem701: type=11, attr=0x8000000000000001, range=[0x00003ff458000000-0x00003ff45b000000) (48MB)
[ 0.000000] EFI: mem702: type=11, attr=0x8000000000000001, range=[0x00003ff45c000000-0x00003ff45f000000) (48MB)
[ 0.000000] EFI: mem703: type=11, attr=0x8000000000000001, range=[0x00003ff460000000-0x00003ff463000000) (48MB)
[ 0.000000] EFI: mem704: type=11, attr=0x8000000000000001, range=[0x00003ff464000000-0x00003ff467000000) (48MB)
[ 0.000000] EFI: mem705: type=11, attr=0x8000000000000001, range=[0x00003ff468000000-0x00003ff46b000000) (48MB)
[ 0.000000] EFI: mem706: type=11, attr=0x8000000000000001, range=[0x00003ff46c000000-0x00003ff46f000000) (48MB)
[ 0.000000] EFI: mem707: type=11, attr=0x8000000000000001, range=[0x00003ff470000000-0x00003ff473000000) (48MB)
[ 0.000000] EFI: mem708: type=11, attr=0x8000000000000001, range=[0x00003ff474000000-0x00003ff477000000) (48MB)
[ 0.000000] EFI: mem709: type=11, attr=0x8000000000000001, range=[0x00003ff478000000-0x00003ff47b000000) (48MB)
[ 0.000000] EFI: mem710: type=11, attr=0x8000000000000001, range=[0x00003ff47c000000-0x00003ff47f000000) (48MB)
[ 0.000000] EFI: mem711: type=11, attr=0x8000000000000001, range=[0x00003ff480000000-0x00003ff483000000) (48MB)
[ 0.000000] EFI: mem712: type=11, attr=0x8000000000000001, range=[0x00003ff484000000-0x00003ff487000000) (48MB)
[ 0.000000] EFI: mem713: type=11, attr=0x8000000000000001, range=[0x00003ff488000000-0x00003ff48b000000) (48MB)
[ 0.000000] EFI: mem714: type=11, attr=0x8000000000000001, range=[0x00003ff48c000000-0x00003ff48f000000) (48MB)
[ 0.000000] EFI: mem715: type=11, attr=0x8000000000000001, range=[0x00003ff490000000-0x00003ff493000000) (48MB)
[ 0.000000] EFI: mem716: type=11, attr=0x8000000000000001, range=[0x00003ff494000000-0x00003ff497000000) (48MB)
[ 0.000000] EFI: mem717: type=11, attr=0x8000000000000001, range=[0x00003ff498000000-0x00003ff49b000000) (48MB)
[ 0.000000] EFI: mem718: type=11, attr=0x8000000000000001, range=[0x00003ff49c000000-0x00003ff49f000000) (48MB)
[ 0.000000] EFI: mem719: type=11, attr=0x8000000000000001, range=[0x00003ff4a0000000-0x00003ff4a3000000) (48MB)
[ 0.000000] EFI: mem720: type=11, attr=0x8000000000000001, range=[0x00003ff4a4000000-0x00003ff4a7000000) (48MB)
[ 0.000000] EFI: mem721: type=11, attr=0x8000000000000001, range=[0x00003ff4a8000000-0x00003ff4ab000000) (48MB)
[ 0.000000] EFI: mem722: type=11, attr=0x8000000000000001, range=[0x00003ff4ac000000-0x00003ff4af000000) (48MB)
[ 0.000000] EFI: mem723: type=11, attr=0x8000000000000001, range=[0x00003ff4b0000000-0x00003ff4b3000000) (48MB)
[ 0.000000] EFI: mem724: type=11, attr=0x8000000000000001, range=[0x00003ff4b4000000-0x00003ff4b7000000) (48MB)
[ 0.000000] EFI: mem725: type=11, attr=0x8000000000000001, range=[0x00003ff4b8000000-0x00003ff4bb000000) (48MB)
[ 0.000000] EFI: mem726: type=11, attr=0x8000000000000001, range=[0x00003ff4bc000000-0x00003ff4bf000000) (48MB)
[ 0.000000] EFI: mem727: type=11, attr=0x8000000000000001, range=[0x00003ff4c0000000-0x00003ff4c3000000) (48MB)
[ 0.000000] EFI: mem728: type=11, attr=0x8000000000000001, range=[0x00003ff4c4000000-0x00003ff4c7000000) (48MB)
[ 0.000000] EFI: mem729: type=11, attr=0x8000000000000001, range=[0x00003ff4c8000000-0x00003ff4cb000000) (48MB)
[ 0.000000] EFI: mem730: type=11, attr=0x8000000000000001, range=[0x00003ff4cc000000-0x00003ff4cf000000) (48MB)
[ 0.000000] EFI: mem731: type=11, attr=0x8000000000000001, range=[0x00003ff4d0000000-0x00003ff4d3000000) (48MB)
[ 0.000000] EFI: mem732: type=11, attr=0x8000000000000001, range=[0x00003ff4d4000000-0x00003ff4d7000000) (48MB)
[ 0.000000] EFI: mem733: type=11, attr=0x8000000000000001, range=[0x00003ff4d8000000-0x00003ff4db000000) (48MB)
[ 0.000000] EFI: mem734: type=11, attr=0x8000000000000001, range=[0x00003ff4dc000000-0x00003ff4df000000) (48MB)
[ 0.000000] EFI: mem735: type=11, attr=0x8000000000000001, range=[0x00003ff4e0000000-0x00003ff4e3000000) (48MB)
[ 0.000000] EFI: mem736: type=11, attr=0x8000000000000001, range=[0x00003ff4e4000000-0x00003ff4e7000000) (48MB)
[ 0.000000] EFI: mem737: type=11, attr=0x8000000000000001, range=[0x00003ff4e8000000-0x00003ff4eb000000) (48MB)
[ 0.000000] EFI: mem738: type=11, attr=0x8000000000000001, range=[0x00003ff4ec000000-0x00003ff4ef000000) (48MB)
[ 0.000000] EFI: mem739: type=11, attr=0x8000000000000001, range=[0x00003ff4f0000000-0x00003ff4f3000000) (48MB)
[ 0.000000] EFI: mem740: type=11, attr=0x8000000000000001, range=[0x00003ff4f4000000-0x00003ff4f7000000) (48MB)
[ 0.000000] EFI: mem741: type=11, attr=0x8000000000000001, range=[0x00003ff4f8000000-0x00003ff4fb000000) (48MB)
[ 0.000000] EFI: mem742: type=11, attr=0x8000000000000001, range=[0x00003ff4fc000000-0x00003ff4ff000000) (48MB)
[ 0.000000] EFI: mem743: type=11, attr=0x8000000000000001, range=[0x00003ff500000000-0x00003ff503000000) (48MB)
[ 0.000000] EFI: mem744: type=11, attr=0x8000000000000001, range=[0x00003ff504000000-0x00003ff507000000) (48MB)
[ 0.000000] EFI: mem745: type=11, attr=0x8000000000000001, range=[0x00003ff508000000-0x00003ff50b000000) (48MB)
[ 0.000000] EFI: mem746: type=11, attr=0x8000000000000001, range=[0x00003ff50c000000-0x00003ff50f000000) (48MB)
[ 0.000000] EFI: mem747: type=11, attr=0x8000000000000001, range=[0x00003ff510000000-0x00003ff513000000) (48MB)
[ 0.000000] EFI: mem748: type=11, attr=0x8000000000000001, range=[0x00003ff514000000-0x00003ff517000000) (48MB)
[ 0.000000] EFI: mem749: type=11, attr=0x8000000000000001, range=[0x00003ff518000000-0x00003ff51b000000) (48MB)
[ 0.000000] EFI: mem750: type=11, attr=0x8000000000000001, range=[0x00003ff51c000000-0x00003ff51f000000) (48MB)
[ 0.000000] EFI: mem751: type=11, attr=0x8000000000000001, range=[0x00003ff520000000-0x00003ff523000000) (48MB)
[ 0.000000] EFI: mem752: type=11, attr=0x8000000000000001, range=[0x00003ff524000000-0x00003ff527000000) (48MB)
[ 0.000000] EFI: mem753: type=11, attr=0x8000000000000001, range=[0x00003ff528000000-0x00003ff52b000000) (48MB)
[ 0.000000] EFI: mem754: type=11, attr=0x8000000000000001, range=[0x00003ff52c000000-0x00003ff52f000000) (48MB)
[ 0.000000] EFI: mem755: type=11, attr=0x8000000000000001, range=[0x00003ff530000000-0x00003ff533000000) (48MB)
[ 0.000000] EFI: mem756: type=11, attr=0x8000000000000001, range=[0x00003ff534000000-0x00003ff537000000) (48MB)
[ 0.000000] EFI: mem757: type=11, attr=0x8000000000000001, range=[0x00003ff538000000-0x00003ff53b000000) (48MB)
[ 0.000000] EFI: mem758: type=11, attr=0x8000000000000001, range=[0x00003ff53c000000-0x00003ff53f000000) (48MB)
[ 0.000000] EFI: mem759: type=11, attr=0x8000000000000001, range=[0x00003ff540000000-0x00003ff543000000) (48MB)
[ 0.000000] EFI: mem760: type=11, attr=0x8000000000000001, range=[0x00003ff544000000-0x00003ff547000000) (48MB)
[ 0.000000] EFI: mem761: type=11, attr=0x8000000000000001, range=[0x00003ff548000000-0x00003ff54b000000) (48MB)
[ 0.000000] EFI: mem762: type=11, attr=0x8000000000000001, range=[0x00003ff54c000000-0x00003ff54f000000) (48MB)
[ 0.000000] EFI: mem763: type=11, attr=0x8000000000000001, range=[0x00003ff550000000-0x00003ff553000000) (48MB)
[ 0.000000] EFI: mem764: type=11, attr=0x8000000000000001, range=[0x00003ff554000000-0x00003ff557000000) (48MB)
[ 0.000000] EFI: mem765: type=11, attr=0x8000000000000001, range=[0x00003ff558000000-0x00003ff55b000000) (48MB)
[ 0.000000] EFI: mem766: type=11, attr=0x8000000000000001, range=[0x00003ff55c000000-0x00003ff55f000000) (48MB)
[ 0.000000] EFI: mem767: type=11, attr=0x8000000000000001, range=[0x00003ff560000000-0x00003ff563000000) (48MB)
[ 0.000000] EFI: mem768: type=11, attr=0x8000000000000001, range=[0x00003ff564000000-0x00003ff567000000) (48MB)
[ 0.000000] EFI: mem769: type=11, attr=0x8000000000000001, range=[0x00003ff568000000-0x00003ff56b000000) (48MB)
[ 0.000000] EFI: mem770: type=11, attr=0x8000000000000001, range=[0x00003ff56c000000-0x00003ff56f000000) (48MB)
[ 0.000000] EFI: mem771: type=11, attr=0x8000000000000001, range=[0x00003ff570000000-0x00003ff573000000) (48MB)
[ 0.000000] EFI: mem772: type=11, attr=0x8000000000000001, range=[0x00003ff574000000-0x00003ff577000000) (48MB)
[ 0.000000] EFI: mem773: type=11, attr=0x8000000000000001, range=[0x00003ff578000000-0x00003ff57b000000) (48MB)
[ 0.000000] EFI: mem774: type=11, attr=0x8000000000000001, range=[0x00003ff57c000000-0x00003ff57f000000) (48MB)
[ 0.000000] EFI: mem775: type=11, attr=0x8000000000000001, range=[0x00003ff580000000-0x00003ff583000000) (48MB)
[ 0.000000] EFI: mem776: type=11, attr=0x8000000000000001, range=[0x00003ff584000000-0x00003ff587000000) (48MB)
[ 0.000000] EFI: mem777: type=11, attr=0x8000000000000001, range=[0x00003ff588000000-0x00003ff58b000000) (48MB)
[ 0.000000] EFI: mem778: type=11, attr=0x8000000000000001, range=[0x00003ff58c000000-0x00003ff58f000000) (48MB)
[ 0.000000] EFI: mem779: type=11, attr=0x8000000000000001, range=[0x00003ff590000000-0x00003ff593000000) (48MB)
[ 0.000000] EFI: mem780: type=11, attr=0x8000000000000001, range=[0x00003ff594000000-0x00003ff597000000) (48MB)
[ 0.000000] EFI: mem781: type=11, attr=0x8000000000000001, range=[0x00003ff598000000-0x00003ff59b000000) (48MB)
[ 0.000000] EFI: mem782: type=11, attr=0x8000000000000001, range=[0x00003ff59c000000-0x00003ff59f000000) (48MB)
[ 0.000000] EFI: mem783: type=11, attr=0x8000000000000001, range=[0x00003ff5a0000000-0x00003ff5a3000000) (48MB)
[ 0.000000] EFI: mem784: type=11, attr=0x8000000000000001, range=[0x00003ff5a4000000-0x00003ff5a7000000) (48MB)
[ 0.000000] EFI: mem785: type=11, attr=0x8000000000000001, range=[0x00003ff5a8000000-0x00003ff5ab000000) (48MB)
[ 0.000000] EFI: mem786: type=11, attr=0x8000000000000001, range=[0x00003ff5ac000000-0x00003ff5af000000) (48MB)
[ 0.000000] EFI: mem787: type=11, attr=0x8000000000000001, range=[0x00003ff5b0000000-0x00003ff5b3000000) (48MB)
[ 0.000000] EFI: mem788: type=11, attr=0x8000000000000001, range=[0x00003ff5b4000000-0x00003ff5b7000000) (48MB)
[ 0.000000] EFI: mem789: type=11, attr=0x8000000000000001, range=[0x00003ff5b8000000-0x00003ff5bb000000) (48MB)
[ 0.000000] EFI: mem790: type=11, attr=0x8000000000000001, range=[0x00003ff5bc000000-0x00003ff5bf000000) (48MB)
[ 0.000000] EFI: mem791: type=11, attr=0x8000000000000001, range=[0x00003ff5c0000000-0x00003ff5c3000000) (48MB)
[ 0.000000] EFI: mem792: type=11, attr=0x8000000000000001, range=[0x00003ff5c4000000-0x00003ff5c7000000) (48MB)
[ 0.000000] EFI: mem793: type=11, attr=0x8000000000000001, range=[0x00003ff5c8000000-0x00003ff5cb000000) (48MB)
[ 0.000000] EFI: mem794: type=11, attr=0x8000000000000001, range=[0x00003ff5cc000000-0x00003ff5cf000000) (48MB)
[ 0.000000] EFI: mem795: type=11, attr=0x8000000000000001, range=[0x00003ff5d0000000-0x00003ff5d3000000) (48MB)
[ 0.000000] EFI: mem796: type=11, attr=0x8000000000000001, range=[0x00003ff5d4000000-0x00003ff5d7000000) (48MB)
[ 0.000000] EFI: mem797: type=11, attr=0x8000000000000001, range=[0x00003ff5d8000000-0x00003ff5db000000) (48MB)
[ 0.000000] EFI: mem798: type=11, attr=0x8000000000000001, range=[0x00003ff5dc000000-0x00003ff5df000000) (48MB)
[ 0.000000] EFI: mem799: type=11, attr=0x8000000000000001, range=[0x00003ff5e0000000-0x00003ff5e3000000) (48MB)
[ 0.000000] EFI: mem800: type=11, attr=0x8000000000000001, range=[0x00003ff5e4000000-0x00003ff5e7000000) (48MB)
[ 0.000000] EFI: mem801: type=11, attr=0x8000000000000001, range=[0x00003ff5e8000000-0x00003ff5eb000000) (48MB)
[ 0.000000] EFI: mem802: type=11, attr=0x8000000000000001, range=[0x00003ff5ec000000-0x00003ff5ef000000) (48MB)
[ 0.000000] EFI: mem803: type=11, attr=0x8000000000000001, range=[0x00003ff5f0000000-0x00003ff5f3000000) (48MB)
[ 0.000000] EFI: mem804: type=11, attr=0x8000000000000001, range=[0x00003ff5f4000000-0x00003ff5f7000000) (48MB)
[ 0.000000] EFI: mem805: type=11, attr=0x8000000000000001, range=[0x00003ff5f8000000-0x00003ff5fb000000) (48MB)
[ 0.000000] EFI: mem806: type=11, attr=0x8000000000000001, range=[0x00003ff5fc000000-0x00003ff5ff000000) (48MB)
[ 0.000000] EFI: mem807: type=11, attr=0x8000000000000001, range=[0x00003ff600000000-0x00003ff603000000) (48MB)
[ 0.000000] EFI: mem808: type=11, attr=0x8000000000000001, range=[0x00003ff604000000-0x00003ff607000000) (48MB)
[ 0.000000] EFI: mem809: type=11, attr=0x8000000000000001, range=[0x00003ff608000000-0x00003ff60b000000) (48MB)
[ 0.000000] EFI: mem810: type=11, attr=0x8000000000000001, range=[0x00003ff60c000000-0x00003ff60f000000) (48MB)
[ 0.000000] EFI: mem811: type=11, attr=0x8000000000000001, range=[0x00003ff610000000-0x00003ff613000000) (48MB)
[ 0.000000] EFI: mem812: type=11, attr=0x8000000000000001, range=[0x00003ff614000000-0x00003ff617000000) (48MB)
[ 0.000000] EFI: mem813: type=11, attr=0x8000000000000001, range=[0x00003ff618000000-0x00003ff61b000000) (48MB)
[ 0.000000] EFI: mem814: type=11, attr=0x8000000000000001, range=[0x00003ff61c000000-0x00003ff61f000000) (48MB)
[ 0.000000] EFI: mem815: type=11, attr=0x8000000000000001, range=[0x00003ff620000000-0x00003ff623000000) (48MB)
[ 0.000000] EFI: mem816: type=11, attr=0x8000000000000001, range=[0x00003ff624000000-0x00003ff627000000) (48MB)
[ 0.000000] EFI: mem817: type=11, attr=0x8000000000000001, range=[0x00003ff628000000-0x00003ff62b000000) (48MB)
[ 0.000000] EFI: mem818: type=11, attr=0x8000000000000001, range=[0x00003ff62c000000-0x00003ff62f000000) (48MB)
[ 0.000000] EFI: mem819: type=11, attr=0x8000000000000001, range=[0x00003ff630000000-0x00003ff633000000) (48MB)
[ 0.000000] EFI: mem820: type=11, attr=0x8000000000000001, range=[0x00003ff634000000-0x00003ff637000000) (48MB)
[ 0.000000] EFI: mem821: type=11, attr=0x8000000000000001, range=[0x00003ff638000000-0x00003ff63b000000) (48MB)
[ 0.000000] EFI: mem822: type=11, attr=0x8000000000000001, range=[0x00003ff63c000000-0x00003ff63f000000) (48MB)
[ 0.000000] EFI: mem823: type=11, attr=0x8000000000000001, range=[0x00003ff640000000-0x00003ff643000000) (48MB)
[ 0.000000] EFI: mem824: type=11, attr=0x8000000000000001, range=[0x00003ff644000000-0x00003ff647000000) (48MB)
[ 0.000000] EFI: mem825: type=11, attr=0x8000000000000001, range=[0x00003ff648000000-0x00003ff64b000000) (48MB)
[ 0.000000] EFI: mem826: type=11, attr=0x8000000000000001, range=[0x00003ff64c000000-0x00003ff64f000000) (48MB)
[ 0.000000] EFI: mem827: type=11, attr=0x8000000000000001, range=[0x00003ff650000000-0x00003ff653000000) (48MB)
[ 0.000000] EFI: mem828: type=11, attr=0x8000000000000001, range=[0x00003ff654000000-0x00003ff657000000) (48MB)
[ 0.000000] EFI: mem829: type=11, attr=0x8000000000000001, range=[0x00003ff658000000-0x00003ff65b000000) (48MB)
[ 0.000000] EFI: mem830: type=11, attr=0x8000000000000001, range=[0x00003ff65c000000-0x00003ff65f000000) (48MB)
[ 0.000000] EFI: mem831: type=11, attr=0x8000000000000001, range=[0x00003ff660000000-0x00003ff663000000) (48MB)
[ 0.000000] EFI: mem832: type=11, attr=0x8000000000000001, range=[0x00003ff664000000-0x00003ff667000000) (48MB)
[ 0.000000] EFI: mem833: type=11, attr=0x8000000000000001, range=[0x00003ff668000000-0x00003ff66b000000) (48MB)
[ 0.000000] EFI: mem834: type=11, attr=0x8000000000000001, range=[0x00003ff66c000000-0x00003ff66f000000) (48MB)
[ 0.000000] EFI: mem835: type=11, attr=0x8000000000000001, range=[0x00003ff670000000-0x00003ff673000000) (48MB)
[ 0.000000] EFI: mem836: type=11, attr=0x8000000000000001, range=[0x00003ff674000000-0x00003ff677000000) (48MB)
[ 0.000000] EFI: mem837: type=11, attr=0x8000000000000001, range=[0x00003ff678000000-0x00003ff67b000000) (48MB)
[ 0.000000] EFI: mem838: type=11, attr=0x8000000000000001, range=[0x00003ff67c000000-0x00003ff67f000000) (48MB)
[ 0.000000] EFI: mem839: type=11, attr=0x8000000000000001, range=[0x00003ff680000000-0x00003ff683000000) (48MB)
[ 0.000000] EFI: mem840: type=11, attr=0x8000000000000001, range=[0x00003ff684000000-0x00003ff687000000) (48MB)
[ 0.000000] EFI: mem841: type=11, attr=0x8000000000000001, range=[0x00003ff688000000-0x00003ff68b000000) (48MB)
[ 0.000000] EFI: mem842: type=11, attr=0x8000000000000001, range=[0x00003ff68c000000-0x00003ff68f000000) (48MB)
[ 0.000000] EFI: mem843: type=11, attr=0x8000000000000001, range=[0x00003ff690000000-0x00003ff693000000) (48MB)
[ 0.000000] EFI: mem844: type=11, attr=0x8000000000000001, range=[0x00003ff694000000-0x00003ff697000000) (48MB)
[ 0.000000] EFI: mem845: type=11, attr=0x8000000000000001, range=[0x00003ff698000000-0x00003ff69b000000) (48MB)
[ 0.000000] EFI: mem846: type=11, attr=0x8000000000000001, range=[0x00003ff69c000000-0x00003ff69f000000) (48MB)
[ 0.000000] EFI: mem847: type=11, attr=0x8000000000000001, range=[0x00003ff6a0000000-0x00003ff6a3000000) (48MB)
[ 0.000000] EFI: mem848: type=11, attr=0x8000000000000001, range=[0x00003ff6a4000000-0x00003ff6a7000000) (48MB)
[ 0.000000] EFI: mem849: type=11, attr=0x8000000000000001, range=[0x00003ff6a8000000-0x00003ff6ab000000) (48MB)
[ 0.000000] EFI: mem850: type=11, attr=0x8000000000000001, range=[0x00003ff6ac000000-0x00003ff6af000000) (48MB)
[ 0.000000] EFI: mem851: type=11, attr=0x8000000000000001, range=[0x00003ff6b0000000-0x00003ff6b3000000) (48MB)
[ 0.000000] EFI: mem852: type=11, attr=0x8000000000000001, range=[0x00003ff6b4000000-0x00003ff6b7000000) (48MB)
[ 0.000000] EFI: mem853: type=11, attr=0x8000000000000001, range=[0x00003ff6b8000000-0x00003ff6bb000000) (48MB)
[ 0.000000] EFI: mem854: type=11, attr=0x8000000000000001, range=[0x00003ff6bc000000-0x00003ff6bf000000) (48MB)
[ 0.000000] EFI: mem855: type=11, attr=0x8000000000000001, range=[0x00003ff6c0000000-0x00003ff6c3000000) (48MB)
[ 0.000000] EFI: mem856: type=11, attr=0x8000000000000001, range=[0x00003ff6c4000000-0x00003ff6c7000000) (48MB)
[ 0.000000] EFI: mem857: type=11, attr=0x8000000000000001, range=[0x00003ff6c8000000-0x00003ff6cb000000) (48MB)
[ 0.000000] EFI: mem858: type=11, attr=0x8000000000000001, range=[0x00003ff6cc000000-0x00003ff6cf000000) (48MB)
[ 0.000000] EFI: mem859: type=11, attr=0x8000000000000001, range=[0x00003ff6d0000000-0x00003ff6d3000000) (48MB)
[ 0.000000] EFI: mem860: type=11, attr=0x8000000000000001, range=[0x00003ff6d4000000-0x00003ff6d7000000) (48MB)
[ 0.000000] EFI: mem861: type=11, attr=0x8000000000000001, range=[0x00003ff6d8000000-0x00003ff6db000000) (48MB)
[ 0.000000] EFI: mem862: type=11, attr=0x8000000000000001, range=[0x00003ff6dc000000-0x00003ff6df000000) (48MB)
[ 0.000000] EFI: mem863: type=11, attr=0x8000000000000001, range=[0x00003ff6e0000000-0x00003ff6e3000000) (48MB)
[ 0.000000] EFI: mem864: type=11, attr=0x8000000000000001, range=[0x00003ff6e4000000-0x00003ff6e7000000) (48MB)
[ 0.000000] EFI: mem865: type=11, attr=0x8000000000000001, range=[0x00003ff6e8000000-0x00003ff6eb000000) (48MB)
[ 0.000000] EFI: mem866: type=11, attr=0x8000000000000001, range=[0x00003ff6ec000000-0x00003ff6ef000000) (48MB)
[ 0.000000] EFI: mem867: type=11, attr=0x8000000000000001, range=[0x00003ff6f0000000-0x00003ff6f3000000) (48MB)
[ 0.000000] EFI: mem868: type=11, attr=0x8000000000000001, range=[0x00003ff6f4000000-0x00003ff6f7000000) (48MB)
[ 0.000000] EFI: mem869: type=11, attr=0x8000000000000001, range=[0x00003ff6f8000000-0x00003ff6fb000000) (48MB)
[ 0.000000] EFI: mem870: type=11, attr=0x8000000000000001, range=[0x00003ff6fc000000-0x00003ff6ff000000) (48MB)
[ 0.000000] EFI: mem871: type=11, attr=0x8000000000000001, range=[0x00003ff700000000-0x00003ff703000000) (48MB)
[ 0.000000] EFI: mem872: type=11, attr=0x8000000000000001, range=[0x00003ff704000000-0x00003ff707000000) (48MB)
[ 0.000000] EFI: mem873: type=11, attr=0x8000000000000001, range=[0x00003ff708000000-0x00003ff70b000000) (48MB)
[ 0.000000] EFI: mem874: type=11, attr=0x8000000000000001, range=[0x00003ff70c000000-0x00003ff70f000000) (48MB)
[ 0.000000] EFI: mem875: type=11, attr=0x8000000000000001, range=[0x00003ff710000000-0x00003ff713000000) (48MB)
[ 0.000000] EFI: mem876: type=11, attr=0x8000000000000001, range=[0x00003ff714000000-0x00003ff717000000) (48MB)
[ 0.000000] EFI: mem877: type=11, attr=0x8000000000000001, range=[0x00003ff718000000-0x00003ff71b000000) (48MB)
[ 0.000000] EFI: mem878: type=11, attr=0x8000000000000001, range=[0x00003ff71c000000-0x00003ff71f000000) (48MB)
[ 0.000000] EFI: mem879: type=11, attr=0x8000000000000001, range=[0x00003ff720000000-0x00003ff723000000) (48MB)
[ 0.000000] EFI: mem880: type=11, attr=0x8000000000000001, range=[0x00003ff724000000-0x00003ff727000000) (48MB)
[ 0.000000] EFI: mem881: type=11, attr=0x8000000000000001, range=[0x00003ff728000000-0x00003ff72b000000) (48MB)
[ 0.000000] EFI: mem882: type=11, attr=0x8000000000000001, range=[0x00003ff72c000000-0x00003ff72f000000) (48MB)
[ 0.000000] EFI: mem883: type=11, attr=0x8000000000000001, range=[0x00003ff730000000-0x00003ff733000000) (48MB)
[ 0.000000] EFI: mem884: type=11, attr=0x8000000000000001, range=[0x00003ff734000000-0x00003ff737000000) (48MB)
[ 0.000000] EFI: mem885: type=11, attr=0x8000000000000001, range=[0x00003ff738000000-0x00003ff73b000000) (48MB)
[ 0.000000] EFI: mem886: type=11, attr=0x8000000000000001, range=[0x00003ff73c000000-0x00003ff73f000000) (48MB)
[ 0.000000] EFI: mem887: type=11, attr=0x8000000000000001, range=[0x00003ff740000000-0x00003ff743000000) (48MB)
[ 0.000000] EFI: mem888: type=11, attr=0x8000000000000001, range=[0x00003ff744000000-0x00003ff747000000) (48MB)
[ 0.000000] EFI: mem889: type=11, attr=0x8000000000000001, range=[0x00003ff748000000-0x00003ff74b000000) (48MB)
[ 0.000000] EFI: mem890: type=11, attr=0x8000000000000001, range=[0x00003ff74c000000-0x00003ff74f000000) (48MB)
[ 0.000000] EFI: mem891: type=11, attr=0x8000000000000001, range=[0x00003ff750000000-0x00003ff753000000) (48MB)
[ 0.000000] EFI: mem892: type=11, attr=0x8000000000000001, range=[0x00003ff754000000-0x00003ff757000000) (48MB)
[ 0.000000] EFI: mem893: type=11, attr=0x8000000000000001, range=[0x00003ff758000000-0x00003ff75b000000) (48MB)
[ 0.000000] EFI: mem894: type=11, attr=0x8000000000000001, range=[0x00003ff75c000000-0x00003ff75f000000) (48MB)
[ 0.000000] EFI: mem895: type=11, attr=0x8000000000000001, range=[0x00003ff760000000-0x00003ff763000000) (48MB)
[ 0.000000] EFI: mem896: type=11, attr=0x8000000000000001, range=[0x00003ff764000000-0x00003ff767000000) (48MB)
[ 0.000000] EFI: mem897: type=11, attr=0x8000000000000001, range=[0x00003ff768000000-0x00003ff76b000000) (48MB)
[ 0.000000] EFI: mem898: type=11, attr=0x8000000000000001, range=[0x00003ff76c000000-0x00003ff76f000000) (48MB)
[ 0.000000] EFI: mem899: type=11, attr=0x8000000000000001, range=[0x00003ff770000000-0x00003ff773000000) (48MB)
[ 0.000000] EFI: mem900: type=11, attr=0x8000000000000001, range=[0x00003ff774000000-0x00003ff777000000) (48MB)
[ 0.000000] EFI: mem901: type=11, attr=0x8000000000000001, range=[0x00003ff778000000-0x00003ff77b000000) (48MB)
[ 0.000000] EFI: mem902: type=11, attr=0x8000000000000001, range=[0x00003ff77c000000-0x00003ff77f000000) (48MB)
[ 0.000000] EFI: mem903: type=11, attr=0x8000000000000001, range=[0x00003ff780000000-0x00003ff783000000) (48MB)
[ 0.000000] EFI: mem904: type=11, attr=0x8000000000000001, range=[0x00003ff784000000-0x00003ff787000000) (48MB)
[ 0.000000] EFI: mem905: type=11, attr=0x8000000000000001, range=[0x00003ff788000000-0x00003ff78b000000) (48MB)
[ 0.000000] EFI: mem906: type=11, attr=0x8000000000000001, range=[0x00003ff78c000000-0x00003ff78f000000) (48MB)
[ 0.000000] EFI: mem907: type=11, attr=0x8000000000000001, range=[0x00003ff790000000-0x00003ff793000000) (48MB)
[ 0.000000] EFI: mem908: type=11, attr=0x8000000000000001, range=[0x00003ff794000000-0x00003ff797000000) (48MB)
[ 0.000000] EFI: mem909: type=11, attr=0x8000000000000001, range=[0x00003ff798000000-0x00003ff79b000000) (48MB)
[ 0.000000] EFI: mem910: type=11, attr=0x8000000000000001, range=[0x00003ff79c000000-0x00003ff79f000000) (48MB)
[ 0.000000] EFI: mem911: type=11, attr=0x8000000000000001, range=[0x00003ff7a0000000-0x00003ff7a3000000) (48MB)
[ 0.000000] EFI: mem912: type=11, attr=0x8000000000000001, range=[0x00003ff7a4000000-0x00003ff7a7000000) (48MB)
[ 0.000000] EFI: mem913: type=11, attr=0x8000000000000001, range=[0x00003ff7a8000000-0x00003ff7ab000000) (48MB)
[ 0.000000] EFI: mem914: type=11, attr=0x8000000000000001, range=[0x00003ff7ac000000-0x00003ff7af000000) (48MB)
[ 0.000000] EFI: mem915: type=11, attr=0x8000000000000001, range=[0x00003ff7b0000000-0x00003ff7b3000000) (48MB)
[ 0.000000] EFI: mem916: type=11, attr=0x8000000000000001, range=[0x00003ff7b4000000-0x00003ff7b7000000) (48MB)
[ 0.000000] EFI: mem917: type=11, attr=0x8000000000000001, range=[0x00003ff7b8000000-0x00003ff7bb000000) (48MB)
[ 0.000000] EFI: mem918: type=11, attr=0x8000000000000001, range=[0x00003ff7bc000000-0x00003ff7bf000000) (48MB)
[ 0.000000] EFI: mem919: type=11, attr=0x8000000000000001, range=[0x00003ff7c0000000-0x00003ff7c3000000) (48MB)
[ 0.000000] EFI: mem920: type=11, attr=0x8000000000000001, range=[0x00003ff7c4000000-0x00003ff7c7000000) (48MB)
[ 0.000000] EFI: mem921: type=11, attr=0x8000000000000001, range=[0x00003ff7c8000000-0x00003ff7cb000000) (48MB)
[ 0.000000] EFI: mem922: type=11, attr=0x8000000000000001, range=[0x00003ff7cc000000-0x00003ff7cf000000) (48MB)
[ 0.000000] EFI: mem923: type=11, attr=0x8000000000000001, range=[0x00003ff7d0000000-0x00003ff7d3000000) (48MB)
[ 0.000000] EFI: mem924: type=11, attr=0x8000000000000001, range=[0x00003ff7d4000000-0x00003ff7d7000000) (48MB)
[ 0.000000] EFI: mem925: type=11, attr=0x8000000000000001, range=[0x00003ff7d8000000-0x00003ff7db000000) (48MB)
[ 0.000000] EFI: mem926: type=11, attr=0x8000000000000001, range=[0x00003ff7dc000000-0x00003ff7df000000) (48MB)
[ 0.000000] EFI: mem927: type=11, attr=0x8000000000000001, range=[0x00003ff7e0000000-0x00003ff7e3000000) (48MB)
[ 0.000000] EFI: mem928: type=11, attr=0x8000000000000001, range=[0x00003ff7e4000000-0x00003ff7e7000000) (48MB)
[ 0.000000] EFI: mem929: type=11, attr=0x8000000000000001, range=[0x00003ff7e8000000-0x00003ff7eb000000) (48MB)
[ 0.000000] EFI: mem930: type=11, attr=0x8000000000000001, range=[0x00003ff7ec000000-0x00003ff7ef000000) (48MB)
[ 0.000000] EFI: mem931: type=11, attr=0x8000000000000001, range=[0x00003ff7f0000000-0x00003ff7f3000000) (48MB)
[ 0.000000] EFI: mem932: type=11, attr=0x8000000000000001, range=[0x00003ff7f4000000-0x00003ff7f7000000) (48MB)
[ 0.000000] EFI: mem933: type=11, attr=0x8000000000000001, range=[0x00003ff7f8000000-0x00003ff7fb000000) (48MB)
[ 0.000000] EFI: mem934: type=11, attr=0x8000000000000001, range=[0x00003ff7fc000000-0x00003ff7ff000000) (48MB)

Robin
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/

Next message: David Gibson: "Re: [PATCH 3/4] KVM: PPC: Add support for IOMMU in-kernel handling"
Previous message: Xiao Guangrong: "Re: [PATCH v3 4/6] KVM: MMU: fast invalidate all mmio sptes"
In reply to: Yinghai Lu: "Re: [RFC 0/2] Delay initializing of large sections of memory"
Next in thread: Mike Travis: "Re: [RFC 0/2] Delay initializing of large sections of memory"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]