Symbol: GICR_WAKER
sys/arch/arm64/dev/agintc.c
733
GICR_WAKER);
sys/arch/arm64/dev/agintc.c
735
bus_space_write_4(sc->sc_iot, sc->sc_r_ioh[hwcpu], GICR_WAKER,
sys/arch/arm64/dev/agintc.c
740
GICR_WAKER);