Forum search on "SCB_AIRCR" will find it liberally noted back to T_3.0 days IIRC - one might have comforting details - again IIRC from reading it is the common ARM way to do it.