Next: No_Dynamic_Priorities, Previous: No_Dispatching_Calls, Up: Partition-Wide Restrictions
[RM D.7] This restriction ensures that there is no call to any of the operations defined in package Ada.Interrupts (Is_Reserved, Is_Attached, Current_Handler, Attach_Handler, Exchange_Handler, Detach_Handler, and Reference).