Ada Programming/Libraries/Ada.Interrupts.Names

is a unit of the Predefined Language Environment since Ada 95.

Specification
implementation_defined : Interrupt_ID := implementation_defined; . . .   implementation_defined :  Interrupt_ID := implementation_defined; AdaInterruptsNames

Wikibook

 * Ada Programming/Libraries/Ada