Home
last modified time | relevance | path

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

/rk3399_ARM-atf/plat/marvell/armada/a3k/common/
H A Dcm3_system_reset.c77 static inline uint32_t a3700_gicr_read(unsigned int proc, uint32_t reg) in a3700_gicr_read() function
93 if ((a3700_gicr_read(proc, GICR_CTLR) & GICR_CTLR_RWP_BIT) != 0U) { in a3700_gic_redist_disable_irqs()
101 a3700_gicr_read(proc, GICR_WAKER) | WAKER_PS_BIT); in a3700_gic_redist_mark_asleep()
104 if ((a3700_gicr_read(proc, GICR_WAKER) & WAKER_CA_BIT) == 0U) { in a3700_gic_redist_mark_asleep()