Home
last modified time | relevance | path

Searched refs:WAKER_PS_BIT (Results 1 – 4 of 4) sorted by relevance

/rk3399_ARM-atf/drivers/arm/gic/v3/
H A Dgicv3_helpers.c41 if ((waker & WAKER_PS_BIT) == 0U) { in gicv3_rdistif_mark_core_awake()
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()
H A Darm_gicv3_common.c47 assert((gicr_read_waker(gicr_base) & WAKER_PS_BIT) != 0U); in arm_gicv3_distif_pre_save()
/rk3399_ARM-atf/plat/marvell/armada/a3k/common/
H A Dcm3_system_reset.c101 a3700_gicr_read(proc, GICR_WAKER) | WAKER_PS_BIT); in a3700_gic_redist_mark_asleep()
/rk3399_ARM-atf/include/drivers/arm/
H A Dgicv3.h220 #define WAKER_PS_BIT BIT_32(WAKER_PS_SHIFT) macro