6.45 RM C.3(28): Interrupt Support

"If the Ceiling_Locking policy is not in effect, the implementation should provide means for the application to specify which interrupts are to be blocked during protected actions, if the underlying system allows for a finer-grain control of interrupt blocking."

Followed. The underlying system does not allow for finer-grain control of interrupt blocking.