/* AUTOGENERATED FILE! DO NOT MODIFY! */
/* Generated {datetime.datetime.utcnow()} from {args.input} */

void _estack(void);                         /*   0 */
void Reset_Handler(void);                   /*   1 */
void NMI_Handler(void);                     /*   2 */
void HardFault_Handler(void);               /*   3 */
/* IRQ 4 is undefined for this part. */
/* IRQ 5 is undefined for this part. */
/* IRQ 6 is undefined for this part. */
/* IRQ 7 is undefined for this part. */
/* IRQ 8 is undefined for this part. */
/* IRQ 9 is undefined for this part. */
/* IRQ 10 is undefined for this part. */
void SVC_Handler(void);                     /*  11 */
/* IRQ 12 is undefined for this part. */
/* IRQ 13 is undefined for this part. */
void PendSV_Handler(void);                  /*  14 */
void SysTick_Handler(void);                 /*  15 */
void WWDG_IRQHandler(void);                 /*  16 */
void PVD_VDDIO2_IRQHandler(void);           /*  17 */
void RTC_IRQHandler(void);                  /*  18 */
void FLASH_IRQHandler(void);                /*  19 */
void RCC_CRS_IRQHandler(void);              /*  20 */
void EXTI0_1_IRQHandler(void);              /*  21 */
void EXTI2_3_IRQHandler(void);              /*  22 */
void EXTI4_15_IRQHandler(void);             /*  23 */
void TSC_IRQHandler(void);                  /*  24 */
void DMA1_Channel1_IRQHandler(void);        /*  25 */
void DMA1_Channel2_3_IRQHandler(void);      /*  26 */
void DMA1_Channel4_5_6_7_IRQHandler(void);  /*  27 */
void ADC1_COMP_IRQHandler(void);            /*  28 */
void TIM1_BRK_UP_TRG_COM_IRQHandler(void);  /*  29 */
void TIM1_CC_IRQHandler(void);              /*  30 */
void TIM2_IRQHandler(void);                 /*  31 */
void TIM3_IRQHandler(void);                 /*  32 */
void TIM6_DAC_IRQHandler(void);             /*  33 */
void TIM7_IRQHandler(void);                 /*  34 */
void TIM14_IRQHandler(void);                /*  35 */
void TIM15_IRQHandler(void);                /*  36 */
void TIM16_IRQHandler(void);                /*  37 */
void TIM17_IRQHandler(void);                /*  38 */
void I2C1_IRQHandler(void);                 /*  39 */
void I2C2_IRQHandler(void);                 /*  40 */
void SPI1_IRQHandler(void);                 /*  41 */
void SPI2_IRQHandler(void);                 /*  42 */
void USART1_IRQHandler(void);               /*  43 */
void USART2_IRQHandler(void);               /*  44 */
void USART3_4_IRQHandler(void);             /*  45 */
void CEC_CAN_IRQHandler(void);              /*  46 */
void USB_IRQHandler(void);                  /*  47 */

#define NUM_IRQs 48
extern uint32_t g_pfnVectors[NUM_IRQs];
#define isr_vector g_pfnVectors