Searched refs:gicr_read_waker (Results 1 – 2 of 2) sorted by relevance
85 val = gicr_read_waker(base); in gicv3_cpuif_setup()92 val = gicr_read_waker(base); in gicv3_cpuif_setup()94 val = gicr_read_waker(base); in gicv3_cpuif_setup()152 val = gicr_read_waker(base); in gicv3_cpuif_deactivate()158 val = gicr_read_waker(base); in gicv3_cpuif_deactivate()160 val = gicr_read_waker(base); in gicv3_cpuif_deactivate()
74 static inline uint32_t gicr_read_waker(uintptr_t base) in gicr_read_waker() function