RM C 3 2 25 Package Interrupts (GNAT Reference Manual) (original) (raw)

“If implementation-defined forms of interrupt handler procedures are supported, such as protected procedures with parameters, then for each such form of a handler, a type analogous to Parameterless_Handlershould be specified in a child package of Interrupts, with the same operations as in the predefined package Interrupts.”

Followed.