@
wuxqing dmesg | grep reserved
BIOS-e820: 000000000009f800 - 00000000000a0000 (reserved)
BIOS-e820: 00000000000e6000 - 0000000000100000 (reserved)
BIOS-e820: 00000000cf6f0000 - 00000000cf700000 (reserved)
BIOS-e820: 00000000fed00000 - 00000000fed00400 (reserved)
BIOS-e820: 00000000fee00000 - 00000000fee01000 (reserved)
BIOS-e820: 00000000ff380000 - 0000000100000000 (reserved)
e820 update range: 0000000000000000 - 0000000000010000 (usable) ==> (reserved)
e820 update range: 0000000000000000 - 0000000000001000 (usable) ==> (reserved)
#4 [000009f800 - 0000100000] BIOS reserved ==> [000009f800 - 0000100000]
DMA zone: 103 pages reserved
Memory: 3182444k/3398336k available (5336k kernel code, 452k absent, 215440k reserved, 7016k data, 1292k init)
PCI: MCFG area at e0000000 reserved in ACPI motherboard resources
system 00:01: [mem 0xfed14000-0xfed19fff] has been reserved
system 00:07: [io 0x04d0-0x04d1] has been reserved
system 00:07: [io 0x0800-0x087f] has been reserved
system 00:07: [io 0x0480-0x04bf] has been reserved
system 00:07: [io 0x0900-0x090f] has been reserved
system 00:07: [mem 0xfed1c000-0xfed1ffff] has been reserved
system 00:07: [mem 0xfed20000-0xfed8ffff] has been reserved
system 00:09: [mem 0xffc00000-0xfff7ffff] has been reserved
system 00:0a: [mem 0xfec00000-0xfec00fff] could not be reserved
system 00:0a: [mem 0xfee00000-0xfee00fff] has been reserved
system 00:0c: [io 0x0280-0x028f] has been reserved
system 00:0c: [io 0x0290-0x029f] has been reserved
system 00:0d: [mem 0xe0000000-0xefffffff] has been reserved
system 00:0e: [mem 0x00000000-0x0009ffff] could not be reserved
system 00:0e: [mem 0x000e0000-0x000fffff] could not be reserved
system 00:0e: [mem 0x00100000-0xcf6fffff] could not be reserved