225c225
< void updateAndInformCPUInterfaces();
---
> Gicv3CPUInterface* route(uint32_t int_id);
231a232
> void clearIrqCpuInterface(uint32_t int_id);