The following implementation-defined package exists:
package Ada.Interrupts.Names is -- Interrupt names -- See Getting Started for details end Ada.Interrupts.Names;