MicroZed Chronicles リスト http://adiuvoengineering.com/?page_id=285
@ Adam Taylor blog
https://forums.xilinx.com/t5/Xcell-Daily-Blog/Adam-Taylor-s-MicroZed-Chronicles-Part-47-AMP-Asymmetric/ba-p/512235
http://qiita.com/7of9/items/13ef53c33b3eb48b5be0
のコード内の以下が気になった。
dmb(); // waits until write has finishes
コード自体に定義はないが、sev()と同じくアセンブラの実行のようにも思う。
ライトバッファを制御するDMB（データメモリバリア）命令とDSB（データ同期バリア）命令、パイプラインをフラッシュ（破棄）するISB（命令同期バリア）命令の3種類をバリア命令と言います。