const MAX_INTERRUPTS: InterruptId = 1024;
Maximum number of interrupts supported by this PLIC implementation