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