Home
last modified time | relevance | path

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

/external/arm-trusted-firmware/include/drivers/arm/
Dgicv3.h35 #define MAX_EPPI_ID U(1119) macro
38 #define TOTAL_EPPI_INTR_NUM (MAX_EPPI_ID - MIN_EPPI_ID + U(1))
56 ((id) <= MAX_EPPI_ID)))