review.sourcearcade.org / libhwbase / 8be5a82b85ceb3ee8a1c4fbf36c75a4bfbda8900 / proof / hw-pci-devinst.ads