Searched defs:gicr_read_waker (Results 1 – 2 of 2) sorted by relevance
59 static inline uint32_t gicr_read_waker(uintptr_t base) in gicr_read_waker() function
181 static inline unsigned int gicr_read_waker(uintptr_t base) in gicr_read_waker() function