Home
last modified time | relevance | path

Searched refs:IS_SGI_PPI (Results 1 – 3 of 3) sorted by relevance

/trusted-firmware-a-3.7.0/include/drivers/arm/
Dgicv3.h54 #define IS_SGI_PPI(id) (((id) <= MAX_PPI_ID) || \ macro
72 #define IS_SGI_PPI(id) ((id) <= MAX_PPI_ID) macro
/trusted-firmware-a-3.7.0/drivers/arm/gic/v3/
Dgicv3_helpers.c345 if (!IS_SGI_PPI(intr_num)) { in gicv3_secure_ppi_sgi_config_props()
Dgicv3_main.c1405 if (IS_SGI_PPI(id)) { in is_sgi_ppi()