Next: RM C 4 14 Pre-elaboration Requirements, Previous: RM C 3 1 20-21 Protected Procedure Handlers, Up: Implementation Advice
"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_Handler should be specified in a child package of Interrupts, with the same operations as in the predefined package Interrupts."
Followed.