GICD_CTRL
gicd_write(sc, GICD_CTRL, 0); /* disable all interrupts */
gicd_write(sc, GICD_CTRL, GICD_CTRL_Enable); // enable Distributer
while (gicd_read_4(sc, GICD_CTRL) & GICD_CTRL_RWP)
while (gicd_read_4(sc, GICD_CTRL) & GICD_CTRL_RWP)
gicd_ctrl = gicd_read_4(sc, GICD_CTRL);
gicd_write_4(sc, GICD_CTRL, gicd_ctrl);
while (gicd_read_4(sc, GICD_CTRL) & GICD_CTRL_RWP)
while (gicd_read_4(sc, GICD_CTRL) & GICD_CTRL_RWP)
gicd_write_4(sc, GICD_CTRL, gicd_ctrl);
const uint32_t gicd_ctrl = gicd_read_4(sc, GICD_CTRL);
GICD_CTRL, GICD_CTRL_Enable);
bus_space_write_4(gicd_bst, gicd_bsh, GICD_CTRL, 0);