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