ARM® CoreLink⢠GIC-500 Generic Interrupt Controller Revision: r0p0 Technical Reference Manual Copyright © 2014 ARM. All rights reserved. ARM DDI 0516B (ID060914)…