Disable SPARK for Copy_DMA_[In|Out] body
[libxhcidbg.git] / configs / example
1 CONFIG_XHCDBC_DMA_BASE  = 16#0020_0000#
2 CONFIG_XHCDBC_XHCI_BASE = 16#e000_0000#
3 CONFIG_XHCDBC_XHCI_SIZE = 16#0001_0000#