I have clarification question on the interrupt priority mask (IPM) and its interaction with Software Generated Interrupts (SGI).
We're using the IPM to mask off interrupts via IntPriorityMaskGet and IntPriorityMaskSet. The expectation we have is that setting the interrupt priority mask to 32 it will block interrupts of priority 32 and above.
We then within some of these area where the IPM has been set do an SGI via a call to IntTrigger expecting that since the priority of the called for interrupt is masked (it has a higher priority number) then the interrupt will be help off until the priority mask in increased above the priority of the interrupt generated.
That's the behaviour I expect, The datasheet I have does not explicitly state that this is the behaviour (or that it is not). The documentation on IntTrigger states that the behaviour is the same as of the HW interrupt had been set but the subsequent wording is rather less emphatic. And since the HW documentation is silent on the issue I do need further clarification.
Robert