8.3. GIC programmers model

This section describes the GIC programmers model for the Cortex-A57 MPCore multiprocessor:

Copyright © 2013, 2014 ARM. All rights reserved.ARM DDI 0488D
Non-ConfidentialID012914