Home
last modified time | relevance | path

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

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

Completed in 6 milliseconds