→ ksmrt0123:有說明. 更改MPU設定(如process context switch)需要 09/01 15:07
→ ksmrt0123:DSB與ISB. 另DMB應該是做shared memory process sync. 09/01 15:08
→ ksmrt0123:會用到. 這部份應該要先瞭解 memory consistency model 09/01 15:09
→ ksmrt0123:會有這些指令的原因是memory access的完成順序與程式指 09/01 15:10
→ ksmrt0123:令的順序可能不相同 09/01 15:10