Searched refs:waker (Results 1 – 1 of 1) sorted by relevance
1249 uint32_t waker; in gic_v3_redist_wake() local1252 waker = gic_r_read(sc, 4, GICR_WAKER); in gic_v3_redist_wake()1254 waker &= ~GICR_WAKER_PS; in gic_v3_redist_wake()1255 gic_r_write(sc, 4, GICR_WAKER, waker); in gic_v3_redist_wake()