Searched refs:waker (Results 1 – 1 of 1) sorted by relevance
38 uint32_t waker = gicr_read_waker(gicr_base); in gicv3_rdistif_mark_core_awake() local41 if ((waker & WAKER_PS_BIT) == 0U) { in gicv3_rdistif_mark_core_awake()49 if ((waker & WAKER_CA_BIT) == 0U) { in gicv3_rdistif_mark_core_awake()