Fix SPARK warning regarding nonvolatile functions
[libxhcidbg.git] / src / hw-dbc-trbs.ads
2017-10-27 Adrian-Ken RueegseggerFix SPARK warning regarding nonvolatile functions
2017-05-05 Nico HuberInitial import of libxhcidbg library