CK_INTC_SOURCE
setup_irq_channel(0x00010203, reg_base + CK_INTC_SOURCE);
reg_base + CK_INTC_SOURCE + CK_INTC_DUAL_BASE);