7.3.2. Device

Device memory type is noncacheable and must be executed nonspeculatively. Ordering requirement for device accesses are as follows:

Copyright © 2006-2009 ARM Limited. All rights reserved.ARM DDI 0344I
Non-Confidential