BIOS-e820:	0000000000000000 - 000000000009e000 (usable)
BIOS-e820:	000000000009e000 - 00000000000a0000 (reserved)
BIOS-e820:	00000000000e0000 - 0000000000100000 (reserved)
BIOS-e820:	0000000000100000 - 00000000e0000000 (usable)

Xen VGA:	00000000ef000000 - 00000000ef800000 32-bit
Xen Platform:	00000000ee000000 - 00000000ef000000 32-bit
Xen VGA:	00000000ef000000 - 00000000ef800000 32-bit
Xen Platform:	00000000ee000000 - 00000000ef000000 32-bit
Creative Audio:	00000000ef8a0000 - 00000000ef8a4000 32-bit
Quadro 6000 2:	00000000e0000000 - 00000000e8000000 64-bit
Quadro 6000 3:	00000000e8000000 - 00000000ec000000 64-bit
Quadro 6000 1:	00000000ec000000 - 00000000ee000000 32-bit
Quadro ROM:	00000000ef800000 - 00000000ef880000
Quadro Audio:	00000000ef8a4000 - 00000000ef8a8000 32-bit

BIOS-e820:	00000000fc000000 - 0000000100000000 (reserved)
BIOS-e820:	0000000100000000 - 000000021f800000 (usable)