Home
last modified time | relevance | path

Searched refs:MAX_PPI_ID (Results 1 – 2 of 2) sorted by relevance

/trusted-firmware-a-3.7.0/include/drivers/arm/
Dgicv3.h29 #define MAX_PPI_ID U(31) macro
54 #define IS_SGI_PPI(id) (((id) <= MAX_PPI_ID) || \
72 #define IS_SGI_PPI(id) ((id) <= MAX_PPI_ID)
/trusted-firmware-a-3.7.0/drivers/arm/gic/v3/
Dgicv3_private.h116 (((id) <= MAX_PPI_ID) ? \
121 (((id) <= MAX_PPI_ID) ? \