The frequency of GIC-400 in Juno SoC

Hi,

I read Juno trm, but I didn't find the frequency of GIC-400 in Juno SoC. Because Cortex-A57 and  Cortex-A53 operate at diferent frequency and support DVFS, I think that GIC-400 should operate asynchronously with Cortex-A57 and Cortex-A53. This may cause more interrupt latency. Right?

Thanks.