where can I found specific interrupt number.

Hi, I am using TM4C129EXL board, can I know where can I found the specific interrupt number for each interrupt?

like in the startupCcs.c in this file, we can define the interrupt ISR and put the ISR name in the vectror table, so we can arm the interrupt by buttons, and other outside input, but how could I get the numbers out of the vector table name?

    ISR_A,                      // GPIO Port A

    ISR_B,                      // GPIO Port B

    IntDefaultHandler,                      // GPIO Port C

    IntDefaultHandler,                      // GPIO Port D

    IntDefaultHandler,                      // GPIO Port E

which interrupt number it is of ISR_A?

Thanks

Shan