DTE_INTTABLEN_VALUE_2K
#define DTE_INTTABLEN_2K (DTE_INTTABLEN_VALUE_2K << 1)
#define MAX_IRQS_PER_TABLE_2K BIT(DTE_INTTABLEN_VALUE_2K)