Symbol: STM32MP_DESC_IRQ_SIZE