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