Searched refs:gicr_get_sgi_pending (Results 1 – 3 of 3) sorted by relevance
15 uint32_t gicr_get_sgi_pending(void);
76 uint32_t gicr_get_sgi_pending(void) in gicr_get_sgi_pending() function
182 if (!!(gicr_get_sgi_pending())) { in mtk_cpc_mcusys_off_prepare()