Searched defs:gicd_wait_for_pending_write (Results 1 – 2 of 2) sorted by relevance
262 static inline void gicd_wait_for_pending_write(uintptr_t gicd_base) in gicd_wait_for_pending_write() function
264 static inline void gicd_wait_for_pending_write(uintptr_t gicd_base) in gicd_wait_for_pending_write() function