The IRQChannel number may be device specific. These are defined in stm32f10x.h which you may consult for the correct constant name – do not copy the constant value into your code ! Notice that this header file depends upon device specific definitions – in our make file we define STM32F10X_MD_VL in our compilation flags as discussed in Chapter 3.