Searched refs:MIN_SGI_ID (Results 1 – 4 of 4) sorted by relevance
14 #define MIN_SGI_ID 0 macro21 #define TOTAL_PCPU_INTR_NUM (MIN_SPI_ID - MIN_SGI_ID)
577 for (int_id = MIN_SGI_ID; int_id < TOTAL_PCPU_INTR_NUM; in gicv3_rdistif_save()579 rdist_ctx->gicr_ipriorityr[(int_id - MIN_SGI_ID) >> IPRIORITYR_SHIFT] = in gicv3_rdistif_save()645 for (int_id = MIN_SGI_ID; int_id < TOTAL_PCPU_INTR_NUM; in gicv3_rdistif_init_restore()649 (int_id - MIN_SGI_ID) >> IPRIORITYR_SHIFT]); in gicv3_rdistif_init_restore()1009 assert((sgi_num >= MIN_SGI_ID) && (sgi_num < MIN_PPI_ID)); in gicv3_raise_secure_g0_sgi()
166 return (id >= MIN_SGI_ID) && (id < MIN_PPI_ID); in plat_ic_is_sgi()
190 return (id >= MIN_SGI_ID) && (id < MIN_PPI_ID); in plat_ic_is_sgi()