8.3. GIC programmers model

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

Copyright © 2011 ARM. All rights reserved.ARM DDI 0438D
Non-ConfidentialID122011