Home
last modified time | relevance | path

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

/external/arm-trusted-firmware/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)
/external/arm-trusted-firmware/drivers/arm/gic/v3/
Dgicv3_private.h115 (((id) <= MAX_PPI_ID) ? \
120 (((id) <= MAX_PPI_ID) ? \