GICC_CTRL_V1_Enable
gicc_write(sc, GICC_CTRL, GICC_CTRL_V1_Enable); // enable interrupt
gicc_write(sc, GICC_CTRL, GICC_CTRL_V1_Enable); // enable CPU interrupts