GICR_WAKER
gicr_waker = gicr_read_4(sc, ci->ci_gic_redist, GICR_WAKER);
gicr_write_4(sc, ci->ci_gic_redist, GICR_WAKER, gicr_waker);
while (gicr_read_4(sc, ci->ci_gic_redist, GICR_WAKER) & GICR_WAKER_ChildrenAsleep)