reg00: base=0x000000000 (    0MB), size= 2048MB, count=1: write-back
reg01: base=0x080000000 ( 2048MB), size= 1024MB, count=1: write-back
reg02: base=0x100000000 ( 4096MB), size= 1024MB, count=1: write-back
reg03: base=0x0ffe00000 ( 4094MB), size=  512KB, count=1: write-protect
reg04: base=0x0bfe00000 ( 3070MB), size=    2MB, count=1: uncachable

[    0.000000] BIOS-provided physical RAM map:
[    0.000000]  BIOS-e820: 0000000000000000 - 000000000009f400 (usable)
[    0.000000]  BIOS-e820: 000000000009f400 - 00000000000a0000 (reserved)
[    0.000000]  BIOS-e820: 00000000000d2000 - 00000000000d4000 (reserved)
[    0.000000]  BIOS-e820: 00000000000d8000 - 0000000000100000 (reserved)
[    0.000000]  BIOS-e820: 0000000000100000 - 00000000bf8b1000 (usable)
[    0.000000]  BIOS-e820: 00000000bf8b1000 - 00000000bf8b7000 (reserved)
[    0.000000]  BIOS-e820: 00000000bf8b7000 - 00000000bf9bc000 (usable)
[    0.000000]  BIOS-e820: 00000000bf9bc000 - 00000000bfa0f000 (reserved)
[    0.000000]  BIOS-e820: 00000000bfa0f000 - 00000000bfb08000 (usable)
[    0.000000]  BIOS-e820: 00000000bfb08000 - 00000000bfd0f000 (reserved)
[    0.000000]  BIOS-e820: 00000000bfd0f000 - 00000000bfd18000 (usable)
[    0.000000]  BIOS-e820: 00000000bfd18000 - 00000000bfd1f000 (reserved)
[    0.000000]  BIOS-e820: 00000000bfd1f000 - 00000000bfd64000 (usable)
[    0.000000]  BIOS-e820: 00000000bfd64000 - 00000000bfd9f000 (ACPI NVS)
[    0.000000]  BIOS-e820: 00000000bfd9f000 - 00000000bfde4000 (usable)
[    0.000000]  BIOS-e820: 00000000bfde4000 - 00000000bfdfd000 (ACPI data)
[    0.000000]  BIOS-e820: 00000000bfdfd000 - 00000000bfe00000 (usable)
[    0.000000]  BIOS-e820: 0000000100000000 - 0000000140000000 (usable)

Usable:
0 - 652288
1048576 - 3213561856
3213586432 - 3214655488
3214995456 - 3216015360
3218141184 - 3218178048
3218206720 - 3218489344
3218731008 - 3219013632
3219116032 - 3219128320
4294967296 - 5368709120