PowerAda 138
From OC Systems Wiki!
(138) Whether the invocation of an interrupt entry has the effect of an ordinary entry call, conditional call, or a timed call, and whether the effect varies in the presence of pending interrupts.
See J.7.1(13).
In the presence of interrupts the invocation of a interrupt entry behaves like a ordinary entry call. Pending interrupt entry calls to a an interrupt entry are queued one deep.