Searched refs:gicr_read_ispendr0 (Results 1 – 2 of 2) sorted by relevance
82 gicr_read_ispendr0(MT_GIC_RDIST_BASE + proc_num * SZ_64K * 2); in gicr_get_sgi_pending()
587 static inline unsigned int gicr_read_ispendr0(uintptr_t base) in gicr_read_ispendr0() function