8.3. GIC programmers model

This section describes the programmers model for the Cortex-A15 MPCore GIC in:

Copyright © 2011-2012 ARM. All rights reserved.ARM DDI 0438G
Non-ConfidentialID080412