Second image illustrates the process of interrupt service entry in ARM TM123GH6PM (using GPIO port C as an example), as you see, it took the vector address of port C handler and put it in PC (you can know it is the vector address of port C handler from the first image).
Isn't the PC supposed to hold the value of the port C handler address itself ? or it first holds the vector address then when it fetches the port C handler address from it, it changes the PC to the address of port C handler ?