<library name="libxhcidbg">
+ <requires>
+ <memory>
+ <memory executable="false" logical="xhci_dma" size="16#0004_1000#" virtualAddress="16#0100_0000#" writable="true"/>
+ </memory>
+ <devices>
+ <device logical="xhci">
+ <memory executable="false" logical="xhci_registers" size="16#0001_0000#" virtualAddress="16#e000_0000#" writable="true"/>
+ </device>
+ </devices>
+ </requires>
<memory>
<memory executable="false" logical="xhci_dma" size="16#0004_1000#" virtualAddress="16#0100_0000#" writable="true"/>
</memory>