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