Data abort 一直出來

在nonOS的code上遇上些問題，某些寫法一直會導致data abort，有高人建議加個：

__asm { MCR p15, 0, 0, c7, c10, 4 }; //drain WB

就解決了。(後來的測試似乎又指向interrupt裡的printf? 總之狀況似乎不穩定...)

發現我對memory barrier, cache, write buffer的關係還不是那麼清楚，最好找個時間弄清楚