Searched defs:gicr_wait_for_upstream_pending_write (Results 1 – 2 of 2) sorted by relevance
349 static inline void gicr_wait_for_upstream_pending_write(uintptr_t gicr_base) in gicr_wait_for_upstream_pending_write() function
351 static inline void gicr_wait_for_upstream_pending_write(uintptr_t gicr_base) in gicr_wait_for_upstream_pending_write() function