65,67d64
< // Get the interrupt controller from the platform
< ic = platform->intrctrl;
<