Home
last modified time | relevance | path

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

/external/arm-trusted-firmware/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