Symbol: __GEN_CPU_IRQ_TABLE