GICC_CTRL
gicc_write(sc, GICC_CTRL, GICC_CTRL_V1_Enable); // enable interrupt
gicc_write(sc, GICC_CTRL, 0); /* disable all interrupts */
gicc_write(sc, GICC_CTRL, GICC_CTRL_V1_Enable); // enable CPU interrupts