** The RMRRs, one for USB and one for GFX

Reserved Memory Region Reporting (RMRR) Structure #1
Type:           0x0001 (ACPI_DMAR_RMRR)
Length:         0x0058
Reserved:       0x0000
Segment Number: 0x0000
Base Address:   0xbd626000
End Address:    0xbd639fff
    Device Scope Structure #1
    ==========================
    Type:           0x01 (ACPI_DEV_ENDPOINT)
    Length:         0x08
    Reserved:       00 00
    Enumeration ID: 0x00 - Reserved
    Start Bus Num:  0x00
    Path Depth = 1, Path Entries:
       -- Device: 0x1d Function: 0x00
    Device Scope Structure #2
    ==========================
    Type:           0x01 (ACPI_DEV_ENDPOINT)
    Length:         0x08
    Reserved:       00 00
    Enumeration ID: 0x00 - Reserved
    Start Bus Num:  0x00
    Path Depth = 1, Path Entries:
       -- Device: 0x1d Function: 0x01
    Device Scope Structure #3
    ==========================
    Type:           0x01 (ACPI_DEV_ENDPOINT)
    Length:         0x08
    Reserved:       00 00
    Enumeration ID: 0x00 - Reserved
    Start Bus Num:  0x00
    Path Depth = 1, Path Entries:
       -- Device: 0x1d Function: 0x02
    Device Scope Structure #4
    ==========================
    Type:           0x01 (ACPI_DEV_ENDPOINT)
    Length:         0x08
    Reserved:       00 00
    Enumeration ID: 0x00 - Reserved
    Start Bus Num:  0x00
    Path Depth = 1, Path Entries:
       -- Device: 0x1d Function: 0x07
    Device Scope Structure #5
    ==========================
    Type:           0x01 (ACPI_DEV_ENDPOINT)
    Length:         0x08
    Reserved:       00 00
    Enumeration ID: 0x00 - Reserved
    Start Bus Num:  0x00
    Path Depth = 1, Path Entries:
       -- Device: 0x1a Function: 0x00
    Device Scope Structure #6
    ==========================
    Type:           0x01 (ACPI_DEV_ENDPOINT)
    Length:         0x08
    Reserved:       00 00
    Enumeration ID: 0x00 - Reserved
    Start Bus Num:  0x00
    Path Depth = 1, Path Entries:
       -- Device: 0x1a Function: 0x01
    Device Scope Structure #7
    ==========================
    Type:           0x01 (ACPI_DEV_ENDPOINT)
    Length:         0x08
    Reserved:       00 00
    Enumeration ID: 0x00 - Reserved
    Start Bus Num:  0x00
    Path Depth = 1, Path Entries:
       -- Device: 0x1a Function: 0x02
    Device Scope Structure #8
    ==========================
    Type:           0x01 (ACPI_DEV_ENDPOINT)
    Length:         0x08
    Reserved:       00 00
    Enumeration ID: 0x00 - Reserved
    Start Bus Num:  0x00
    Path Depth = 1, Path Entries:
       -- Device: 0x1a Function: 0x07

Reserved Memory Region Reporting (RMRR) Structure #2
Type:           0x0001 (ACPI_DMAR_RMRR)
Length:         0x0028
Reserved:       0x0000
Segment Number: 0x0000
Base Address:   0xbdc00000
End Address:    0xffffffffbfffffff
    Device Scope Structure #1
    ==========================
    Type:           0x01 (ACPI_DEV_ENDPOINT)
    Length:         0x08
    Reserved:       00 00
    Enumeration ID: 0x00 - Reserved
    Start Bus Num:  0x00
    Path Depth = 1, Path Entries:
       -- Device: 0x02 Function: 0x00
    Device Scope Structure #2
    ==========================
    Type:           0x01 (ACPI_DEV_ENDPOINT)
    Length:         0x08
    Reserved:       00 00
    Enumeration ID: 0x00 - Reserved
    Start Bus Num:  0x00
    Path Depth = 1, Path Entries:
       -- Device: 0x02 Function: 0x01
       
(XEN) Xen-e820 RAM map:
(XEN)  0000000000000000 - 000000000009e800 (usable)
(XEN)  000000000009e800 - 00000000000a0000 (reserved)
(XEN)  00000000000e0000 - 0000000000100000 (reserved)
(XEN)  0000000000100000 - 00000000bd6c1000 (usable)
(XEN)  00000000bd6c1000 - 00000000bd703000 (ACPI NVS)
(XEN)  00000000bd703000 - 00000000bd826000 (reserved)
(XEN)  00000000bd826000 - 00000000bd83a000 (ACPI NVS)
(XEN)  00000000bd83a000 - 00000000bd93c000 (reserved)
(XEN)  00000000bd93c000 - 00000000bd93d000 (ACPI NVS)
(XEN)  00000000bd93d000 - 00000000bd942000 (reserved)
(XEN)  00000000bd942000 - 00000000bd94c000 (ACPI data)
(XEN)  00000000bd94c000 - 00000000bd967000 (ACPI NVS)
(XEN)  00000000bd967000 - 00000000bd986000 (reserved)
(XEN)  00000000bd986000 - 00000000bd98c000 (ACPI NVS)
(XEN)  00000000bd98c000 - 00000000bdb00000 (usable)
(XEN)  00000000bdc00000 - 00000000c0000000 (reserved)
(XEN)  00000000fed1c000 - 00000000fed20000 (reserved)
(XEN)  00000000ff000000 - 0000000100000000 (reserved)
(XEN)  0000000100000000 - 000000023c000000 (usable)

** RMRR 0xbd626000 - 0xbd639fff for USB falls in this e820 range. It should be reserved but is
   in a usable range. Not really correct.
(XEN)  0000000000100000 - 00000000bd6c1000 (usable) 

** RMRR 0xbdc00000 - 0xffffffffbfffffff for GFX seems way off. It starts in this range but just
   keeps going and going.
(XEN)  00000000bdc00000 - 00000000c0000000 (reserved)