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