9.11. ETB RAM support

The following sections describe the ETB RAM support:

Copyright © 2011-2012 ARM. All rights reserved.ARM DDI 0480B
Non-ConfidentialID042612