Searched defs:gicr_write_waker (Results 1 – 2 of 2) sorted by relevance
64 static inline void gicr_write_waker(uintptr_t base, uint32_t val) in gicr_write_waker() function
186 static inline void gicr_write_waker(uintptr_t base, unsigned int val) in gicr_write_waker() function