Searched refs:gicr_write_waker (Results 1 – 3 of 3) sorted by relevance
64 gicr_write_waker(gicr_base, gicr_read_waker(gicr_base) | WAKER_SL_BIT); in arm_gicv3_distif_pre_save()115 gicr_write_waker(gicr_base, gicr_read_waker(gicr_base) & ~WAKER_SL_BIT); in arm_gicv3_distif_post_restore()
56 gicr_write_waker(gicr_base, gicr_read_waker(gicr_base) & ~WAKER_PS_BIT); in gicv3_rdistif_mark_core_awake()70 gicr_write_waker(gicr_base, gicr_read_waker(gicr_base) | WAKER_PS_BIT); in gicv3_rdistif_mark_core_asleep()
332 static inline void gicr_write_waker(uintptr_t base, uint32_t val) in gicr_write_waker() function