GICD_IROUTER_Interrupt_Routing_mode
irouter = GICD_IROUTER_Interrupt_Routing_mode;
if (irouter == GICD_IROUTER_Interrupt_Routing_mode ||