Цитата(esaulenka @ Oct 19 2012, 18:48)

Я наблюдал похожие грабли:
Да, ситуация похожая.
Цитата(esaulenka @ Oct 19 2012, 18:48)

Влетал в прерывание два раза - до контроллера прерывания не доходило, что флаг прерывания сброшен.
Нашёл рекомендации использовать инструкции для синхронизации (ISB, кажется), но сделал проще - перенёс сброс флага в начало. Конкретное место, в котором есть проблема, раскапывать поленился.
Хотелось бы знать какой барьер правильней ставить...
Помогает в общем-то любой, и даже NOP.
Мне кажется более правильным использовать DSB, но так ли это...