GICR_WAKER_ChildrenAsleep
enable ^ (bool)(val & GICR_WAKER_ChildrenAsleep),
while (readl(redist_base + GICR_WAKER) & GICR_WAKER_ChildrenAsleep) {