Home
last modified time | relevance | path

Searched refs:MIN_SGI_ID (Results 1 – 4 of 4) sorted by relevance

/tf-a-ffa_el3_spmc/include/drivers/arm/
A Dgic_common.h16 #define MIN_SGI_ID U(0) macro
23 #define TOTAL_PCPU_INTR_NUM (MIN_SPI_ID - MIN_SGI_ID)
/tf-a-ffa_el3_spmc/plat/common/
A Dplat_gicv2.c170 return (id >= MIN_SGI_ID) && (id < MIN_PPI_ID); in plat_ic_is_sgi()
A Dplat_gicv3.c201 return (id >= MIN_SGI_ID) && (id < MIN_PPI_ID); in plat_ic_is_sgi()
/tf-a-ffa_el3_spmc/drivers/arm/gic/v3/
A Dgicv3_main.c1104 assert((sgi_num >= MIN_SGI_ID) && (sgi_num < MIN_PPI_ID)); in gicv3_raise_secure_g0_sgi()

Completed in 7 milliseconds