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