Searched refs:MIN_SGI_ID (Results 1 – 4 of 4) sorted by relevance
16 #define MIN_SGI_ID U(0) macro23 #define TOTAL_PCPU_INTR_NUM (MIN_SPI_ID - MIN_SGI_ID)
173 return (id >= MIN_SGI_ID) && (id < MIN_PPI_ID); in plat_ic_is_sgi()
205 return (id >= MIN_SGI_ID) && (id < MIN_PPI_ID); in plat_ic_is_sgi()
1109 assert((sgi_num >= MIN_SGI_ID) && (sgi_num < MIN_PPI_ID)); in gicv3_raise_sgi()
Completed in 7 milliseconds