Home
last modified time | relevance | path

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

/external/arm-trusted-firmware/include/drivers/arm/
Dgicv3.h38 #define TOTAL_EPPI_INTR_NUM (MAX_EPPI_ID - MIN_EPPI_ID + U(1)) macro
41 #define TOTAL_PRIVATE_INTR_NUM (TOTAL_PCPU_INTR_NUM + TOTAL_EPPI_INTR_NUM)