8.2.1. GIC clock frequency

The GIC can operate at any integer multiple that is slower
than the main Cortex-A15 MPCore processor clock, CLK,
using the PERIPHCLKEN signal.
For example, the CLK to internal GIC
clock frequency ratio can be 2:1 or 3:1. See Clocks for a description
of PERIPHCLKEN.