Disable SPARK for Copy_DMA_[In|Out] body
[libxhcidbg.git] / src / hw-dbc-transfers.adb
2017-10-27 Adrian-Ken RueegseggerDisable SPARK for Copy_DMA_[In|Out] body
2017-10-27 Adrian-Ken RueegseggerDrop unneeded use type clauses
2017-05-05 Nico HuberInitial import of libxhcidbg library